// This Arduino code was automatically generated by Aixt Project
//     https://github.com/fermarsan/aixt
// Device = Nucleo-L031K6
// Board = Nucleo-L031K6
// 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  32000000
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);
void  pwm__setup(u32 freq, u32 range, u8 res);
void  pwm__write(u8 name, u8 value);

const i32 _const_main__led_0 = (i32)(13);

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__d0 = (i32)(0);
const i32 _const_pin__d1 = (i32)(1);
const i32 _const_pin__d2 = (i32)(2);
const i32 _const_pin__d3 = (i32)(3);
const i32 _const_pin__d4 = (i32)(4);
const i32 _const_pin__d5 = (i32)(5);
const i32 _const_pin__d6 = (i32)(6);
const i32 _const_pin__d7 = (i32)(7);
const i32 _const_pin__d8 = (i32)(8);
const i32 _const_pin__d9 = (i32)(9);
const i32 _const_pin__d10 = (i32)(10);
const i32 _const_pin__d11 = (i32)(11);
const i32 _const_pin__d12 = (i32)(12);
const i32 _const_pin__d13 = (i32)(13);
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); 
}

inline void  pwm__setup(u32 freq, u32 range, u8 res) {
	analogWriteResolution(res); 
}

inline void  pwm__write(u8 name, u8 value) {
	analogWrite(name, value); 
}

const u8 _const_main__duty_table[5] = {(u8)(25), 60, 120, 180, 205};

void setup() {
	pin__setup(_const_pin__d3, _const_pin__output); 
	while( true ) {
		for( int __i_1 = 0; __i_1 < 5; __i_1 ++ ) {
			u8 duty = _const_main__duty_table[__i_1];
			pwm__write(_const_pin__d3, duty * 256); 
			time__sleep_ms(250); 
		} 
	} 
}

void loop(){
}