a: int;
b: int;
a-b-1