failed for test case: lower_one_mask(32) == 0xFFFFFFFF
failed for test case: lower_one_mask(32) == 0xFFFFFFFF