#define DEFAULT_STRLEN 1024
#include "ioctl_kd-success-Xverbose.c"