半端にcかじっててグローバルなジャンプが禁止でソースがツリー構造を持ってることで言語処理系がループとgotoの関係を解析できる構造化言語と話がごっちゃになってないか?