外的要因と使用を一切考えず、

int main(void)
{
return( 0 );
}

これにバグが無い事を証明する手段があるなら知りたいぞ。
そして、それが証明できるなら、どれぐらいのプログラムまで
証明できるかも知りたいね。
ぶっちゃけ「この関数ロジックにバグは有りません」と証明できる手段が
有れば、プロジェクトの管理が少しは楽になるんだがな。