pub const TAPE_SPACE_FILEMARKS: u32 = 6; // 6u32