Constant QOT_REG_QOT_PUSH 

pub const QOT_REG_QOT_PUSH: u32 = 3002;