LEarn to pointer arithmetic
Correctly infer types