if_test_1(11) == 10
if_test_1(0) == 0
