A minor issue, but we're using a lot of hex literals in our code and these are lost by the c2rust conversion.