str terminal_namespace = "/dev/term/0";
str prompt = "Enter a string:";
str new_line = "\n";

function main () {
	real a;
	int i;
	int mode $11;
	str term $10;

	// do (i = 5000; i >= 0, i = i - 1) 
	load_immediate 5.0 -> a;
	load_immediate 5000 -> i;
	load_immediate 0 -> $2;
	load_immediate -1 -> $3;
	load_immediate 5.0 -> $5;
	loop loop_body {
		add_real a $5 -> a;
		add_int i $3 -> i;
		jump_ge_int loop_body i $2;
	}

	load_address terminal_namespace -> term;
	load_immediate 0 -> mode;
	syscall OPEN term mode term; // Terminal term = open("/dev/term/0", 0);

	nat b $1;
	real_to_nat a -> b;
	load_address prompt -> $7;
	string_length $7 -> $8;
	syscall WRITE term $7 $8; // print prompt

	str user_string $9;
	load_immediate 32 -> $8;
	malloc $8 -> user_string;
	syscall READ term user_string $8; // read in max 32 byte string

	call pln (user_string);
	nat_to_string b -> $4;
	call pln ($4);
	real_to_string a -> $3;
	call pln ($3);
	exit 0;
}

function pln (str message) {
	ptr term;
	int msg_length;
	str nl;
	int nl_length;
	int mode;
	str term_ns;

	load_immediate 0 -> mode;
	load_address terminal_namespace -> term_ns;
	syscall OPEN term_ns mode term;
	string_length message -> msg_length;
	syscall WRITE term message msg_length;
	load_address new_line -> nl;
	string_length nl -> nl_length;
	syscall WRITE term nl nl_length;
	return;
}