private static void UnexportPin(GpioPins pin) { internal_UnexportPin((Int32)pin, GetGpioPinNumber(pin)); }