rotl
not defined yet