debuginfo.cpp: add some code comments