Simple C examples of handling GPIO in Raspberry Pi