{- -------------------------------------------
  (1) _active_table から次の命令を取得してリターンする.
      ---------------------------------------- -}

      static address*   dispatch_table(TosState state)              { return _active_table.table_for(state); }