fd.write(' case SIMCALL_NONE:\n');
fd.write(' THROWF(arg_error,0,"Asked to do the noop syscall on %s@%s",\n');
fd.write(' SIMIX_process_get_name(simcall->issuer),\n');
fd.write(' case SIMCALL_NONE:\n');
fd.write(' THROWF(arg_error,0,"Asked to do the noop syscall on %s@%s",\n');
fd.write(' SIMIX_process_get_name(simcall->issuer),\n');