return uint8 z
in uint8 x
call uint8_nonzero_mask