/*
   * Set the key
   */
  void set_key(const char *key) {