function GPIO_input($pin) { return digitalRead($pin); }
static function digitalRead($pin) { return digitalRead($pin); }