--- trunk/instrument-js.c 2008/10/24 16:17:59 351 +++ trunk/instrument-js.c 2008/10/24 16:18:18 352 @@ -315,6 +315,9 @@ Stream_write_string(f, ", "); } JSAtom * param = JS_LOCAL_NAME_TO_ATOM(local_names[i]); + if (param == NULL) { + fatal("unsupported parameter type for function: %s", file_id); + } print_string_atom(param, f); } JS_FinishArenaPool(&pool);