Constant JSJitOpcode_JS_JIT_OP_push_7 

pub const JSJitOpcode_JS_JIT_OP_push_7: JSJitOpcode = 193;