in int16 x 64
in int16 y 64
call cmp_64xint16
return int32 z