Constant TAPE_SPACE_SETMARKS

pub const TAPE_SPACE_SETMARKS: u32 = 8;