let default_gap_extension_penalty = 4