[0x457]

I saw that types are different, but I was thinking "must be some weird C thing that I don't know about"