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