let default =     {name = "default"; min_reads = 2; protein_sequence_length = 30; parameters = []}