// (c) Inne 13-07-2021
#define LED 1


extern "C" uint32_t gcd(uint32_t a, uint32_t b);




void setup() {
  Serial1.begin(115200);


  pinMode(LED, OUTPUT);
  //gcd(14,16);
  Serial1.println(gcd(128, 64), DEC);

}




void loop() {

}
BOOTSELLED1239USBRaspberryPiPico©2020RP2-8020/21P64M15.00TTT