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

      void decrement_interp_only_mode()         { --_interp_only_mode; }