Is there something in the C standard that implies only one representation for signed integers should be