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}