Improved a bit the read_be_u32 test