pub const PAN_XHEIGHT_DUCKING_LARGE: PAN_XHEIGHT;