Previously get_uint32 and get_uint16 would return whatever the usual
arithmetic conversions produced. (The previous code was not in fact
even guaranteed to work properly on a machine with 16-bit ints.)
Now we cast the individual bytes before shifting.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>