verylittlewire.device.PIN3

verylittlewire.device.PIN3: int = 5

Real hardware port index of well known GPIO pin three (3).