>>909
>>902は「アセンブラレベルで証明したい」と書いてるだけで、
そのプログラムがアセンブリ言語で書かれてるとは書いてないが？

アセンブリ言語のソース読める奴が、アセンブラ/コンパイラ型の言語で
コメントや改行増やすことで遅くなるなんてｱﾌｫな勘違いするとは思えない。