Function emit_runtime_check_witness 

fn emit_runtime_check_witness(bytecode: &mut Vec<u8>)