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