return uint32 z
in uint32 x
call uint32_topbit_01