while_test_2_Int(77) == 78
