let add name spec descr =
      ext_spec_list := (name, spec, descr) :: !ext_spec_list