printf() を削除したときに BSS のサイズが減っていて気づいた。