#include <stdio.h>
#include "pico/stdlib.h"

void main_c(void);

int main() {
  stdio_init_all();
  printf("Hello, Wokwi!\n");
  sleep_ms(250);
  main_c();
}
BOOTSELLED1239USBRaspberryPiPico©2020RP2-8020/21P64M15.00TTT