in patcher/patcher.js [762:778]
function pinToString(pinNo, portSize) {
if (!portSize || pinNo >= 1000)
return "P_" + pinNo
let useLetters = true
let theSize = portSize & 0xfff
if (portSize & 0x1000) {
useLetters = true
}
let port = (pinNo / theSize) | 0
let pin = pinNo % theSize
if (useLetters) {
return "P" + String.fromCharCode(65 + port) + ("0" + pin.toString()).slice(-2)
} else {
return "P" + port + "_" + pin
}
}