Symbol: read_le32