Constant JS_DUMP_BYTECODE_FINAL 

pub const JS_DUMP_BYTECODE_FINAL: u32 = 1;