Local implementation of read_uint32be() in mp3data.c needs a major correction.