Constant TAPE_DRIVE_WRITE_SHORT_FMKS 

pub const TAPE_DRIVE_WRITE_SHORT_FMKS: u32 = 2214592512;