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