#define __noreturn __attribute__((noreturn))

static void putc(char c) {
	*((char*)0x1000f180) = c;
}

static void puts(const char* s) {
	while (*s)
		putc(*s++);
}

__noreturn void _ee_start() {
    puts("EE: Hello World from Lily~\n");
    while(1);
}