{- -------------------------------------------
  (1) _interp_only_mode フィールドの値をインクリメントするだけ.
      ---------------------------------------- -}

      void increment_interp_only_mode()         { ++_interp_only_mode; }