val write_symbols : bool ref;val no_header : bool ref;val stand_alone   : bool ref; val autolink  : bool refval verbose   : bool refval link : string list -> string -> unit;