function GPIO_setcfg($pin, $val) { return pinMode($pin, $val); }
static function pinMode($pin, $mode) { pinMode($pin, $mode); }