keys:7 items
storage pair
stored_counter nat
threshold nat
keys list(key)