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