pub const JIT_OPTION_DONT_FOLD: u32 = 10003;