#include <stdlib.h>

int main() {
    int x;
    if ( x == 0 ) /* ERROR */
        exit( 1 );
    return 0;
}