printf("Device status: 0x%x\n", usbtmc_status(sc));
/* The following code isn't really necessary, the program works
OK without it too. */
printf("Device status: 0x%x\n", usbtmc_status(sc));
/* The following code isn't really necessary, the program works
OK without it too. */