Constant OTS_PUSH_NO_DOT_DOT_DOT 

pub const OTS_PUSH_NO_DOT_DOT_DOT: u32 = 64u32;