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