menu "Debug facilities" source config.gen/debug.in endmenu