#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();
}