/lib/test_debug_virtual.mod.c