検証用プログラムちょこっとだけ。
ラベル書き換え用の関数作りかけ。