Should this be `read_le32`?