#include 
// Define GPIO12 number
#define GPIO12 12
// Main function
int main(void) {
        int i;
        // Initialize WiringPi
        if(wiringPiSetupGpio() == -1) return 1;
        // Set GPIO12 pin to output mode
        pinMode(GPIO12, OUTPUT);
        // Repeat LED blinking 10 times
        for(i=0; i<10; i++){
                digitalWrite(GPIO12, 0);
                delay(950);
                digitalWrite(GPIO12, 1);
                delay(50);
        }
        // Turn off LED
        digitalWrite(GPIO12, 0);
        return 0;