let
init spec_list = init_spec_list := spec_list