/* dummy header */

// A little hack...
#undef NOCTLMGR