Constant WMT_IT_FRAME_NUMBERS 

pub const WMT_IT_FRAME_NUMBERS: WMT_INDEXER_TYPE;