Constant PAN_XHEIGHT_DUCKING_SMALL 

pub const PAN_XHEIGHT_DUCKING_SMALL: PAN_XHEIGHT;