Constant JS_DUMP_BYTECODE_STEP 

pub const JS_DUMP_BYTECODE_STEP: u32 = 128;