pointers are int64, but warnings are emitted for position info in
error messages in parser, so, just cast it to int32