change_Int(0) == 1
change_Int(1) == 2
testGen_Int(10) == 10
