let add vi ki lv = State.add vi (ki, lv)