[PATCH 2/7] diasymreader: Force debug info in critical sections.