updated comment in rpi_GPIO_lib.fs