Constant jit_code_t_jit_code_va_push 

pub const jit_code_t_jit_code_va_push: jit_code_t = 10;