void TemplateTable::goto_w() {

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

      transition(vtos, vtos);

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

      branch(false, true);
    }