e Procedure: bytevector-u32-native-ref bv index
     Return the unsigned 32-bit integer from BV at INDEX using the
     native endianness.