Constant TAPE_SHORT_FILEMARKS 

pub const TAPE_SHORT_FILEMARKS: TAPEMARK_TYPE;