xdiv
not defined yet