#include #ifndef VINTR #error "VINTR is not defined" #endif int main(void) { return 0; }