fn emit_verify_signature( bytecode: &mut Vec<u8>, use_callt: bool, token_patches: &mut Vec<MethodTokenPatch>, )