return uint8 z
in uint8 x
call uint8_topbit_mask