useful functions to manipulate the GPIO pins of the Rasberry Pi  peripheral and more