void printf (string fmt, ...) = #0;
quaternion q;
vector v;
int
main ()
{
quaternion tq;
q = '0.6 0.48 0.64 0';
v = '1 2 3';
tq.s = 0;
tq.v = v;
printf ("%v %q\n", q * v, q * tq * ~q);
return 0;
}