{- -------------------------------------------
  (1) ThreadStateTransition::transition_and_fence() を呼び出すだけ.
      ---------------------------------------- -}

       void trans_and_fence(JavaThreadState from, JavaThreadState to) { transition_and_fence(_thread, from, to); }