Constant JS_DUMP_BYTECODE_FINAL

pub const JS_DUMP_BYTECODE_FINAL: u32 = 1;