use integer types with explicit sizes in static sanity checks