CTL_DRIVER_NAME_LEN
char name[CTL_DRIVER_NAME_LEN]; /* passed to CTL */
char driver[CTL_DRIVER_NAME_LEN];