let mask_else = Db.Value.mask_else