Constant JS_DUMP_BYTECODE_HEX 

pub const JS_DUMP_BYTECODE_HEX: u32 = 16;