let ext_spec_list () = !ext_spec_list