pub const PAN_XHEIGHT_DUCKING_SMALL: PAN_XHEIGHT;