大発見！これでもエラーにならずにできた！

そうですね、プチコンでは文字列もラベルとして使えます。 なので、ラベルを変数に入れておくことでジャンプ先を変えられたりします。 @｜プログラムの任意の場所を示すラベル（名前） - プチコン.NET http://petitcom.net/3gou/manual/_label