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