let extract_fundef_name sname =
  match sname with
    | _spec, (the_name, _, _, _) -> the_name