yann@924: menu "Debug facilities" yann@1870: source "config.gen/debug.in" yann@924: endmenu