>>333
そうなると型情報はプログラムが
メモリに読み込まれた時点であるかも
しれないね。
100バイトのメモリを確保するコードの
プログラムは、実行時には
100バイト+プログラム実行領域があり、
その実行領域に存在するのかな?

妄想だけで話すなと言われそうだけど。。。