cargau lujvo

x1 turns x2 around axis x3 in direction x4.

Cf. carcpu.