Read JSON source_info line and column values as 32-bit unsigned ints (#356)
Read JSON source_info line and column values as 32-bit unsigned ints (#356)

They were being interpreted as 32-bit signed ints, which causes an out
of range error if the line number is in range 2^31 through 2^32-1.
Due to a bug in p4c-bm2-ss right now, 2^32-1 is possible, which is how
I discovered this issue.
p4lang/behavioral-model,p4lang/behavioral-model,p4lang/behavioral-model,hanw/behavioral-model,hanw/behavioral-model,p4lang/behavioral-model,hanw/behavioral-model,hanw/behavioral-model,hanw/behavioral-model,p4lang/behavioral-model