Constant PAN_XHEIGHT_CONSTANT_SMALL 

pub const PAN_XHEIGHT_CONSTANT_SMALL: PAN_XHEIGHT;