Use stdint types for specific-width fields