// add to the end of the list

  void add(AgentLibrary* lib) {

  {- -------------------------------------------
  (1) lib 引数で指定された AgentLibrary オブジェクトをリストの最後に追加する.
      (なお, リストが空の場合にはリストの先頭にも設定する)
      ---------------------------------------- -}

        if (is_empty()) {
          _first = _last = lib;
        } else {
          _last->_next = lib;
          _last = lib;
        }
        lib->_next = NULL;
      }