Constant TAPE_SHORT_FILEMARKS 

pub const TAPE_SHORT_FILEMARKS: TAPEMARK_TYPE = 2u32;