pub const PUSH: fn(i64) -> Constraint = push::push; // {essential_constraint_asm::short::push::push as fn(i64) -> essential_constraint_asm::Op}
pub const PUSH: fn(i64) -> Constraint = push::push; // {essential_constraint_asm::short::push::push as fn(i64) -> essential_constraint_asm::Op}