let make key =
    {id = Counter.next ();
     key = key}