let default_without_cosmic =     {name = "default_without_cosmic";      with_cosmic = false; with_dbsnp = true;      parameters = []}