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