let set_default (m, s, d_opt) d_opt' = (m, s, d_opt')