#include <Arduino.h>

void setup() {
  Serial.begin(115200);
  delay(1000);
  for (int i = 0; i < 20; i++) {
    PinName pn = digitalPinToPinName(i);
    Serial.print("Arduino pin ");
    Serial.print(i);
    Serial.print(" -> STM32 pin ");
    Serial.println(pn);
  }
}

void loop() {}