// This Arduino code was automatically generated by Aixt Project
//     https://github.com/fermarsan/aixt
// Device = Raspberry-Pi-Pico
// Board = Raspberry Pi Pico
// Backend = arduino

typedef int8_t i8;
typedef int16_t i16;
typedef int32_t i32;
typedef int64_t i64;
typedef int32_t isize;
typedef int32_t int_literal;
typedef uint8_t u8;
typedef uint16_t u16;
typedef uint32_t u32;
typedef uint64_t u64;
typedef uint32_t usize;
typedef float f32;
typedef double f64;
typedef double float_literal;

#define _const_main__cpu_freq_mhz	_const_main__cpu_freq/1000000
#define _const_main__cpu_freq  125000000
void  time__sleep(i32 ts);
void  time__sleep_ms(i32 tms);
void  time__sleep_us(i32 tus);
u8  pin__read(u8 name);
void  pin__low(u8 name);
void  pin__write(u8 name, u8 val);
void  pin__setup(u8 name, u8 mode);
void  pin__high(u8 name);

const i32 _const_main__led0 = (i32)(25);

inline void  time__sleep(i32 ts) {
	delay(ts * 1000); 
}

inline void  time__sleep_ms(i32 tms) {
	delay(tms); 
}

inline void  time__sleep_us(i32 tus) {
	delayMicroseconds(tus); 
}

const i32 _const_pin__gp0 = (i32)(0);
const i32 _const_pin__gp1 = (i32)(1);
const i32 _const_pin__gp2 = (i32)(2);
const i32 _const_pin__gp3 = (i32)(3);
const i32 _const_pin__gp4 = (i32)(4);
const i32 _const_pin__gp5 = (i32)(5);
const i32 _const_pin__gp6 = (i32)(6);
const i32 _const_pin__gp7 = (i32)(7);
const i32 _const_pin__gp8 = (i32)(8);
const i32 _const_pin__gp9 = (i32)(9);
const i32 _const_pin__gp10 = (i32)(10);
const i32 _const_pin__gp11 = (i32)(11);
const i32 _const_pin__gp12 = (i32)(12);
const i32 _const_pin__gp13 = (i32)(13);
const i32 _const_pin__gp14 = (i32)(14);
const i32 _const_pin__gp15 = (i32)(15);
const i32 _const_pin__gp16 = (i32)(16);
const i32 _const_pin__gp17 = (i32)(17);
const i32 _const_pin__gp18 = (i32)(18);
const i32 _const_pin__gp19 = (i32)(19);
const i32 _const_pin__gp20 = (i32)(20);
const i32 _const_pin__gp21 = (i32)(21);
const i32 _const_pin__gp22 = (i32)(22);
const i32 _const_pin___gp23 = (i32)(23);
const i32 _const_pin___gp24 = (i32)(24);
const i32 _const_pin__gp25 = (i32)(25);
const i32 _const_pin__gp26 = (i32)(26);
const i32 _const_pin__gp27 = (i32)(27);
const i32 _const_pin__gp28 = (i32)(28);
const i32 _const_pin__input = (i32)(0);
const i32 _const_pin__output = (i32)(1);
const i32 _const_pin__in_pullup = (i32)(2);

inline u8  pin__read(u8 name) {
	return digitalRead(name); 
}

inline void  pin__low(u8 name) {
	digitalWrite(name, LOW); 
}

inline void  pin__write(u8 name, u8 val) {
	digitalWrite(name, val); 
}

inline void  pin__setup(u8 name, u8 mode) {
	pinMode(name, mode); 
}

inline void  pin__high(u8 name) {
	digitalWrite(name, HIGH); 
}

void setup() {
	pin__setup(_const_main__led0, _const_pin__output); 
	while( true ) {
		pin__high(_const_main__led0); 
		time__sleep_ms(250); 
		pin__low(_const_main__led0); 
		time__sleep_ms(250); 
	} 
}

void loop(){
}