class check_debug_aranges;