Constant TAPE_SPACE_SEQUENTIAL_SMKS 

pub const TAPE_SPACE_SEQUENTIAL_SMKS: u32 = 9;