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