void TemplateTable::jsr() {

  {- -------------------------------------------
  (1) (assert) (See: TemplateTable::transition())
      ---------------------------------------- -}

      transition(vtos, vtos);       // result is not an oop, so do not transition to atos

  {- -------------------------------------------
  (1) コード生成:
      「TemplateTable::branch() が生成するコードにより, 分岐を行う」
      ---------------------------------------- -}

      branch(true, false);
    }