Add some comments to 13.3.cc