print(2 - 15); # expect: -13