Constant TAPE_SHORT_FILEMARKS

pub const TAPE_SHORT_FILEMARKS: TAPEMARK_TYPE;