pub const TAPE_SPACE_SETMARKS: u32 = 8; // 8u32