void f(integer x, integer y)
{
	x = (vector ()(quaternion x)) y;
}