#define PRINT_DEVNUM 1
#include "dev-yy.c"