#include <sys/divm.h>
#include <dios/sys/debug.hpp>

extern "C" void use_debug()
{
    char buf[20];
    sprintf( buf, "indent = %d", __dios::get_debug().kernel_indent );
    __vm_trace( _VM_T_Text, buf );
}

int main() {}