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