let return values state lv e =
      match lv with
      | None -> state
      | Some lv -> affect values state lv e