let get_returninfo funcname =
  try
    Hashtbl.find paraminfos (funcname,"\\return")
  with _ -> raise_error ("Return varinfo not declared for function '"^funcname^"'.")