Constant TAPE_SPACE_SEQUENTIAL_FMKS 

pub const TAPE_SPACE_SEQUENTIAL_FMKS: u32 = 7;