#include <stdio.h>

void setup() {
  // put your setup code here, to run once:
  Serial1.begin(115200);
  Serial1.println("Hello, Raspberry Pi Pico!");
}

extern "C" {
  int add_func(int a, int b, int c);
}

int main() {
  int a, b, c;

  printf("enter a: ");
  scanf("%d", &a);
  printf("%d\n", a);

  printf("enter b: ");
  scanf("%d", &b);
  printf("%d\n", b);

  printf("enter c: ");
  scanf("%d", &c);
  printf("%d\n", c);

  int result = add_func(a, b, c);

  printf("%i\n", result);
  return 0;
}
BOOTSELLED1239USBRaspberryPiPico©2020RP2-8020/21P64M15.00TTT