Constant jit_flag_head 

pub const jit_flag_head: u32 = 4096;