let default = { name = "default"; gap_open_penalty = default_gap_open_penalty; gap_extension_penalty = default_gap_extension_penalty; }