Add my homegrown cross compiler scripts

1 files changed, 258 insertions, 346 deletions

diff --git a/boot/stage2.elna b/boot/stage2.elna
index 366096e..50f1303 100644
--- a/boot/stage2.elna
+++ b/boot/stage2.elna
@@ -1,26 +1,3 @@
-(*
-s1 - Contains the current position in the source text.
-s2 - Label counter.
-
-- The compiler expects valid input, otherwise it will generate invalid
-assembly or hang. There is no error checking, no semantic analysis, no
-type checking.
-
-- Imports with only a module name without package, e.g.
-"import dummy", can be parsed, but are ignored.
-
-- No loops. Only labels and goto.
-
-- Only unsigned number literals are supported (in decimal or
-hexadecimal format).
-
-- Comments are accepted only at the end of a line.
-
-- Return can be used only as the last statement of a procedure. It
-doesn't actually return, but sets a0 to the appropriate value.
-
-- The lvalue of an assignment can only be an identifier.
-*)
 program
 
 import dummy
@@ -38,7 +15,7 @@ begin
 	_advance(6);
 	_skip_spaces();
 	loca0 := _read_token();
-	_advance(loca0) (* Skip the imported module name. *)
+	_advance(loca0)
 end
 
 proc _build_binary_expression()
@@ -49,44 +26,44 @@ var
 begin
 	_build_expression(0);
 
-	loca4 := 0x2c306120 (* _a0, *);
-	loca8 := 0x0a316120 (* _a1\n *);
+	loca4 := 0x2c306120;
+	loca8 := 0x0a316120;
 
 	_skip_spaces();
 	loca20 := _read_token();
 	loca12 := _current();
 
-	loca16 := 0x26 (* & *);
+	loca16 := 0x26;
 	loca24 := _token_compare(loca12, loca20, @loca16);
 	if loca24 = 0 then
 		goto .L_build_binary_expression_and
 	end;
 
-	loca16 := 0x726f (* or *);
+	loca16 := 0x726f;
 	loca24 := _token_compare(loca12, loca20, @loca16);
 	if loca24 = 0 then
 		goto .L_build_binary_expression_or
 	end;
 
-	loca16 := 0x3d (* = *);
+	loca16 := 0x3d;
 	loca24 := _token_compare(loca12, loca20, @loca16);
 	if loca24 = 0 then
 		goto .L_build_binary_expression_equal
 	end;
 
-	loca16 := 0x2b (* + *);
+	loca16 := 0x2b;
 	loca24 := _token_compare(loca12, loca20, @loca16);
 	if loca24 = 0 then
 		goto .L_build_binary_expression_plus
 	end;
 
-	loca16 := 0x2d (* - *);
+	loca16 := 0x2d;
 	loca24 := _token_compare(loca12, loca20, @loca16);
 	if loca24 = 0 then
 		goto .L_build_binary_expression_minus
 	end
 
-	loca16 := 0x2a (* * *);
+	loca16 := 0x2a;
 	loca24 := _token_compare(loca12, loca20, @loca16);
 	if loca24 = 0 then
 		goto .L_build_binary_expression_product
@@ -95,27 +72,27 @@ begin
 	goto .Lbuild_binary_expression_end;
 
 	.L_build_binary_expression_equal;
-	_advance(1) (* Skip =. *);
+	_advance(1);
 	_build_expression(1);
 
-	loca0 := 0x627573(* sub *);
+	loca0 := 0x627573;
 	_write_out(@loca0, 3);
 	_write_out(@loca4, 4);
 	_write_out(@loca4, 4);
 	_write_out(@loca8, 4);
 
-	loca0 := 0x7a716573 (* seqz *);
+	loca0 := 0x7a716573;
 	_write_out(@loca0, 4);
 	_write_out(@loca4, 4);
 	_write_out(@loca4, 3);
-	_put_char(0x0a) (* \n *);
+	_put_char(0x0a);
 
 	goto .Lbuild_binary_expression_end;
 
 	.L_build_binary_expression_and;
-	_advance(1) (* Skip &. *);
+	_advance(1);
 	_build_expression(1);
-	loca0 := 0x646e61 (* and *);
+	loca0 := 0x646e61;
 	_write_out(@loca0, 3);
 	_write_out(@loca4, 4);
 	_write_out(@loca4, 4);
@@ -124,9 +101,9 @@ begin
 	goto .Lbuild_binary_expression_end;
 
 	.L_build_binary_expression_or;
-	_advance(2) (* Skip or. *);
+	_advance(2);
 	_build_expression(1);
-	loca0 := 0x726f (* or *);
+	loca0 := 0x726f;
 	_write_out(@loca0, 2);
 	_write_out(@loca4, 4);
 	_write_out(@loca4, 4);
@@ -135,9 +112,9 @@ begin
 	goto .Lbuild_binary_expression_end;
 
 	.L_build_binary_expression_plus;
-	_advance(1) (* Skip +. *);
+	_advance(1);
 	_build_expression(1);
-	loca0 := 0x646461 (* add *);
+	loca0 := 0x646461;
 	_write_out(@loca0, 3);
 	_write_out(@loca4, 4);
 	_write_out(@loca4, 4);
@@ -146,9 +123,9 @@ begin
 	goto .Lbuild_binary_expression_end;
 
 	.L_build_binary_expression_minus;
-	_advance(1) (* Skip -. *);
+	_advance(1);
 	_build_expression(1);
-	loca0 := 0x627573 (* sub *);
+	loca0 := 0x627573;
 	_write_out(@loca0, 3);
 	_write_out(@loca4, 4);
 	_write_out(@loca4, 4);
@@ -157,9 +134,9 @@ begin
 	goto .Lbuild_binary_expression_end;
 
 	.L_build_binary_expression_product;
-	_advance(1) (* Skip *. *);
+	_advance(1);
 	_build_expression(1);
-	loca0 := 0x6c756d (* mul *);
+	loca0 := 0x6c756d;
 	_write_out(@loca0, 3);
 	_write_out(@loca4, 4);
 	_write_out(@loca4, 4);
@@ -170,30 +147,25 @@ begin
 	.Lbuild_binary_expression_end
 end
 
-(*
-Parameters:
-a0 - Identifier length.
-a1 - Register number as character.
-*)
 proc _compile_identifier_expression(loca84: Word, loca80: Byte)
 begin
 	loca24 := _current();
-	loca0 := 0x61636f6c (* loca *);
+	loca0 := 0x61636f6c;
 	loca0 := _memcmp(@loca0, loca24, 4);
 
 	if loca0 = 0 then
-		loca8 := 0x6120776c (* lw a *);
+		loca8 := 0x6120776c;
 		_write_out(@loca8, 4);
-		loca8 := 0x00202c00 or loca80 (* \0,_ *);
+		loca8 := 0x00202c00 or loca80;
 		_write_out(@loca8, 3);
 
 		loca4 := loca24 + 4;
 		loca0 := loca84 - 4;
-		_write_out(loca4, loca0) (* Skip the "loca" variable prefix. *);
+		_write_out(loca4, loca0);
 
-		loca8 := 0x29707328 (* (sp) *);
+		loca8 := 0x29707328;
 		_write_out(@loca8, 4);
-		_put_char(0x0a) (* \n *);
+		_put_char(0x0a);
 
 		goto .Lcompile_identifier_expression_end
 	end;
@@ -201,18 +173,18 @@ begin
 	loca8 := loca84 = 2;
 	loca12 := loca0 = 0x73;
 	if loca8 & loca12 then
-		loca8 := 0x6120766d (* mv a *);
+		loca8 := 0x6120766d;
 		_write_out(@loca8, 4);
-		loca8 := 0x00202c00 or loca80 (* \0,_ *);
+		loca8 := 0x00202c00 or loca80;
 		_write_out(@loca8, 3);
 		_write_out(loca24, loca84);
-		_put_char(0x0a) (* \n *);
+		_put_char(0x0a);
 
 		goto .Lcompile_identifier_expression_end
 	end
 
 	(* Global identifier. *);
-	loca8 := 0x6120616c (* la a *);
+	loca8 := 0x6120616c;
 	_write_out(@loca8, 4);
 	loca8 := 0x00202c00 or loca80;
 	_write_out(@loca8, 3);
@@ -221,14 +193,14 @@ begin
 	_put_char(0x0a);
 
 	if _is_upper(loca0) then
-		loca8 := 0x6120776c (* lw a *);
+		loca8 := 0x6120776c;
 		_write_out(@loca8, 4);
-		loca8 := 0x28202c00 or loca28 (* \0, ( *);
+		loca8 := 0x28202c00 or loca28;
 		_write_out(@loca8, 4);
-		_put_char(0x61) (* a *);
+		_put_char(0x61);
 		_put_char(loca28);
-		_put_char(0x29) (* ) *);
-		_put_char(0x0a) (* \n *);
+		_put_char(0x29);
+		_put_char(0x0a);
 
 		goto .Lcompile_identifier_expression_end
 	end;
@@ -246,20 +218,17 @@ var
 	loca0, loca20, loca28, loca8: Word
 	loca24, loca4: ^Byte
 begin
-	(* Make the register number to a character and save it. *)
-	loca28 := loca84 + 0x30 (* 0 *);
+	loca28 := loca84 + 0x30;
 
 	_skip_spaces();
 	loca20 := _read_token();
 	loca24 := _current();
 	loca0 := _front(loca24);
 
-	(* - *)
 	if loca0 = 0x2d then
 		goto .Lbuild_expression_negate
 	end;
 
-	(* @ *)
 	if loca0 = 0x40 then
 		goto .Lbuild_expression_address
 	end;
@@ -268,7 +237,6 @@ begin
 		goto .Lbuild_expression_literal
 	end;
 
-	(* _ *)
 	if loca0 = 0x5f then
 		goto .Lbuild_expression_call
 	end;
@@ -277,35 +245,34 @@ begin
 	goto .Lbuild_expression_advance;
 
 	.Lbuild_expression_negate;
-	_advance(1) (* Skip the -. *);
+	_advance(1);
 	_build_expression(0);
 
-	loca8 := 0x2067656e (* neg_ *);
+	loca8 := 0x2067656e;
 	_write_out(@loca8, 4);
-	loca8 := 0x202c3061 (* a0,_ *);
+	loca8 := 0x202c3061;
 	_write_out(@loca8, 4);
-	loca8 := 0x0a3061 (* a0,_ *);
+	loca8 := 0x0a3061;
 	_write_out(@loca8, 3);
 
 	goto .Lbuild_expression_advance;
 
 	.Lbuild_expression_address;
-	loca8 := 0x69646461 (* addi *);
+	loca8 := 0x69646461;
 	_write_out(@loca8, 4);
-	loca8 := 0x6120 (* _a *);
+	loca8 := 0x6120;
 	_write_out(@loca8, 2);
 	_put_char(loca28);
-	loca8 := 0x7073202c (* , sp *);
+	loca8 := 0x7073202c;
 	_write_out(@loca8, 4);
-	loca8 := 0x202c (* ,_ *);
+	loca8 := 0x202c;
 	_write_out(@loca8, 2);
 
-	_advance(1) (* Skip @. *);
+	_advance(1);
 	_skip_spaces();
 	loca24 := _current();
 	loca20 := _read_token();
 
-	(* Skip the "loca" variable prefix. *)
 	loca4 := loca24 + 4;
 	loca0 := loca20 - 4;
 	_write_out(loca4, loca0);
@@ -322,13 +289,13 @@ begin
 	goto .Lbuild_expression_end;
 
 	.Lbuild_expression_literal;
-	loca8 := 0x6120696c (* li a *);
+	loca8 := 0x6120696c;
 	_write_out(@loca8, 4);
-	loca8 := 0x00202c00 or loca28 (* \0,_ *);
+	loca8 := 0x00202c00 or loca28;
 	_write_out(@loca8, 3);
 
 	_write_out(loca24, loca20);
-	_put_char(0x0a) (* \n *);
+	_put_char(0x0a);
 
 	goto .Lbuild_expression_advance;
 
@@ -349,35 +316,35 @@ proc _compile_designator_expression(loca84: ^Byte, loca80: Word)
 var
 	loca0: Word
 begin
-	loca0 := 0x61636f6c (* loca *);
+	loca0 := 0x61636f6c;
 	loca4 := _memcmp(@loca0, loca84, 4);
 
 	if loca4 = 0 then
-		loca0 := 0x61207773 (* sw a *);
+		loca0 := 0x61207773;
 		_write_out(@loca0, 4);
-		loca0 := 0x202c30 (* 0,_ *);
+		loca0 := 0x202c30;
 		_write_out(@loca0, 3);
 
 		loca84 := loca84 + 4;
 		loca80 := loca80 - 4;
 		_write_out(loca84, loca80);
 
-		loca0 := 0x29707328 (* (sp) *);
+		loca0 := 0x29707328;
 		_write_out(@loca0, 4);
-		_put_char(0x0a) (* \n *);
+		_put_char(0x0a);
 
 		goto .Lcompile_designator_expression_end
 	end;
 	loca8 := _front(loca84);
-	loca12 := loca8 = 0x73 (* s *);
+	loca12 := loca8 = 0x73;
 	loca16 := loca80 = 2;
 	if loca12 & loca16 then
-		loca0 := 0x20766d (* mv_ *);
+		loca0 := 0x20766d;
 		_write_out(@loca0, 3);
 		_write_out(loca84, loca80);
-		loca0 := 0x3061202c (* , a0 *);
+		loca0 := 0x3061202c;
 		_write_out(@loca0, 4);
-		_put_char(0x0a) (* \n *);
+		_put_char(0x0a);
 
 		goto .Lcompile_designator_expression_end
 	end;
@@ -397,21 +364,19 @@ var
 	loca20, loca12: ^Byte
 	loca4: Bool
 begin
-	(* Save the pointer to the identifier and its length on the stack. *)
 	loca20 := _current();
 	loca16 := _read_token();
 
 	_advance(loca16);
 	_skip_spaces();
 
-	(* Save the pointer and the length of the token following the identifier. *)
 	loca12 := _current();
 	loca8 := _read_token();
 
-	_advance(loca8) (* Skip that token. *);
+	_advance(loca8);
 	_skip_spaces();
 
-	loca0 := 0x3d3a (* := *);
+	loca0 := 0x3d3a;
 	loca4 := _token_compare(loca12, loca8, @loca0);
 	if loca4 = 0 then
 		_build_binary_expression();
@@ -440,7 +405,7 @@ var
 	loca0, loca4, loca12: Word
 	loca8: ^Byte
 begin
-	loca12 := 0 (* Argument count for a procedure call. *);
+	loca12 := 0;
 
 	.Lcompile_call_paren;
 	_skip_spaces();
@@ -452,9 +417,9 @@ begin
 	.Lcompile_call_argument;
 	_build_expression(0);
 
-	loca0 := 0x61207773 (* sw a *);
+	loca0 := 0x61207773;
 	_write_out(@loca0, 4);
-	loca0 := 0x202c30 (* 0,_ *);
+	loca0 := 0x202c30;
 	_write_out(@loca0, 3);
 
 	(*
@@ -465,9 +430,9 @@ begin
 	loca0 := loca0 + 60;
 	_printi(loca0);
 
-	loca0 := 0x29707328 (* (sp) *);
+	loca0 := 0x29707328;
 	_write_out(@loca0, 4);
-	_put_char(0x0a) (* \n *);
+	_put_char(0x0a);
 
 	_skip_spaces();
 	loca8 := _current();
@@ -476,9 +441,9 @@ begin
 		goto .Lcompile_call_paren
 	end
 
-	loca12 := loca12 + 1 (* Argument count for a procedure call. *);
+	loca12 := loca12 + 1;
 
-	_advance(1) (* Skip the comma between the arguments. *);
+	_advance(1);
 	goto .Lcompile_call_argument;
 
 	.Lcompile_call_complete;
@@ -489,70 +454,64 @@ begin
 	Just go through all a0-a5 registers and read them from stack.
 	If this stack value contains garbage, the procedure just shouldn't use it.
 	*)
-	loca0 := 0x6120776c (* lw a *);
-	(* lw a0, 60(sp) *)
+	loca0 := 0x6120776c;
 	_write_out(@loca0, 4);
-	loca4 := 0x36202c30 (* 0, 6 *);
+	loca4 := 0x36202c30;
 	_write_out(@loca4, 4);
-	loca4 := 0x70732830 (* 0(sp *);
+	loca4 := 0x70732830;
 	_write_out(@loca4, 4);
-	loca4 := 0x0a29 (* )\n *);
+	loca4 := 0x0a29;
 	_write_out(@loca4, 2);
 
-	(* lw a1, 56(sp) *)
 	_write_out(@loca0, 4);
-	loca4 := 0x35202c31 (* 1, 5 *);
+	loca4 := 0x35202c31;
 	_write_out(@loca4, 4);
-	loca4 := 0x70732836 (* 6(sp *);
+	loca4 := 0x70732836;
 	_write_out(@loca4, 4);
-	loca4 := 0x0a29 (* )\n *);
+	loca4 := 0x0a29;
 	_write_out(@loca4, 2);
 
-	(* lw a2, 52(sp) *)
 	_write_out(@loca0, 4);
-	loca4 := 0x35202c32 (* 2, 5 *);
+	loca4 := 0x35202c32;
 	_write_out(@loca4, 4);
-	loca4 := 0x70732832 (* 2(sp *);
+	loca4 := 0x70732832;
 	_write_out(@loca4, 4);
-	loca4 := 0x0a29 (* )\n *);
+	loca4 := 0x0a29;
 	_write_out(@loca4, 2);
 
-	(* lw a3, 48(sp) *)
 	_write_out(@loca0, 4);
-	loca4 := 0x34202c33 (* 3, 4 *);
+	loca4 := 0x34202c33;
 	_write_out(@loca4, 4);
-	loca4 := 0x70732838 (* 8(sp *);
+	loca4 := 0x70732838;
 	_write_out(@loca4, 4);
-	loca4 := 0x0a29 (* )\n *);
+	loca4 := 0x0a29;
 	_write_out(@loca4, 2);
 
-	(* lw a4, 44(sp) *)
 	_write_out(@loca0, 4);
-	loca4 := 0x34202c34 (* 4, 4 *);
+	loca4 := 0x34202c34;
 	_write_out(@loca4, 4);
-	loca4 := 0x70732834 (* 4(sp *);
+	loca4 := 0x70732834;
 	_write_out(@loca4, 4);
-	loca4 := 0x0a29 (* )\n *);
+	loca4 := 0x0a29;
 	_write_out(@loca4, 2);
 
-	(* lw a5, 40(sp) *)
 	_write_out(@loca0, 4);
-	loca4 := 0x34202c35 (* 5, 4 *);
+	loca4 := 0x34202c35;
 	_write_out(@loca4, 4);
-	loca4 := 0x70732830 (* 0(sp *);
+	loca4 := 0x70732830;
 	_write_out(@loca4, 4);
-	loca4 := 0x0a29 (* )\n *);
+	loca4 := 0x0a29;
 	_write_out(@loca4, 2);
 
-	loca0 := 0x6c6c6163 (* call *);
+	loca0 := 0x6c6c6163;
 	_write_out(@loca0, 4);
-	_put_char(0x20) (* _ *);
+	_put_char(0x20);
 
 	_write_out(loca84, loca80);
-	_put_char(0x0a) (* \n *);
+	_put_char(0x0a);
 
 	_skip_spaces();
-	_advance(1) (* Skip the close paren. *)
+	_advance(1)
 end
 
 (*
@@ -565,85 +524,69 @@ var
 	loca8: ^Byte
 begin
 	loca8 := _current();
-	loca0 := _front(loca8) (* t0 = Current character. *);
+	loca0 := _front(loca8);
 	loca4 := 0;
 
-	(* . *)
 	if loca0 = 0x2e then
 		goto .Ltoken_character_single
 	end;
 
-	(* , *)
 	if loca0 = 0x2c then
 		goto .Ltoken_character_single
 	end;
 
-	(* : *)
 	if loca0 = 0x3a then
 		goto .Ltoken_character_colon
 	end;
 
-	(* ; *)
 	if loca0 = 0x3b then
 		goto .Ltoken_character_single
 	end;
 
-	(* ( *)
 	if loca0 = 0x28 then
 		goto .Ltoken_character_single
 	end;
 
-	(* ) *)
 	if loca0 = 0x29 then
 		goto .Ltoken_character_single
 	end;
 
-	(* [ *)
 	if loca0 = 0x5b then
 		goto .Ltoken_character_single
 	end;
 
-	(* ] *)
 	if loca0 = 0x5d then
 		goto .Ltoken_character_single
 	end;
 
-	(* ^ *)
 	if loca0 = 0x5e then
 		goto .Ltoken_character_single
 	end;
 
-	(* & *)
 	if loca0 = 0x26 then
 		goto .Ltoken_character_single
 	end;
 
-	(* = *)
 	if loca0 = 0x3d then
 		goto .Ltoken_character_single
 	end;
 
-	(* + *)
 	if loca0 = 0x2b then
 		goto .Ltoken_character_single
 	end;
 
-	(* - *)
 	if loca0 = 0x2d then
 		goto .Ltoken_character_single
 	end;
 
-	(* * *)
 	if loca0 = 0x2a then
 		goto .Ltoken_character_single
 	end;
 
-	(* @ *)
 	if loca0 = 0x40 then
 		goto .Ltoken_character_single
 	end;
 
-	(* Expect an identifier or a number. *)
 	.Ltoken_character_loop_do;
 	loca0 := loca8 + loca4;
 	loca0 := _front(loca0);
@@ -658,12 +601,11 @@ begin
 
 		.Ltoken_character_colon;
 		loca0 := loca8 + 1;
-		loca0 := _front(loca0) (* t0 = The character after the colon. *);
+		loca0 := _front(loca0);
 		loca4 := loca4 + 1;
 
-		(* = *)
-		if loca0 = 0x3d then
-			goto  .Ltoken_character_single
+			if loca0 = 0x3d then
+			goto .Ltoken_character_single
 		end
 	end;
 	.Ltoken_character_end;
@@ -678,21 +620,17 @@ var
 begin
 	.Lspace_loop_do;
 	loca4 := _current();
-	loca0 := _front(loca4) (* t0 = Current character. *);
+	loca0 := _front(loca4);
 
-	(* _ *)
 	if loca0 = 0x20 then
 		goto .Lspace_loop_repeat
 	end;
-	(* \t *)
 	if loca0 = 0x09 then
 		goto .Lspace_loop_repeat
 	end;
-	(* \n *)
 	if loca0 = 0x0a then
 		goto .Lspace_loop_repeat
 	end;
-	(* \r *)
 	if loca0 = 0x0d then
 		goto .Lspace_loop_repeat
 	end;
@@ -717,8 +655,7 @@ var
 begin
 	loca0 := _current();
 
-	(* Check whether this is a comment. *)
-	loca4 := 0x2a28 (* ( and * *);
+	loca4 := 0x2a28;
 	loca8 := _memcmp(loca0, @loca4, 2);
 	if loca8 = 0 then
 		goto .Lskip_comment_continue
@@ -726,9 +663,9 @@ begin
 	goto .Lskip_comment_end;
 
 	.Lskip_comment_continue;
-	_advance(2) (* Skip (*. *);
+	_advance(2);
 
-	loca4 := 0x292a (* ( and * *);
+	loca4 := 0x292a;
 
 	.Lskip_comment_loop;
 	loca0 := _current();
@@ -742,7 +679,7 @@ begin
 	goto .Lskip_comment_loop;
 
 	.Lskip_comment_close;
-	_advance(2) (* Skip "*" and ")". *);
+	_advance(2);
 
 	.Lskip_comment_end
 end
@@ -754,31 +691,29 @@ Parameters:
 proc _compile_assembly(loca84: Word)
 var loca0: ^Byte
 begin
-	(* Write the source to the standard output. *)
 	loca0 := _current();
 
 	_write_out(loca0, loca84);
 	_advance(loca84);
 
-	_put_char(0xa) (* \n *);
+	_put_char(0xa);
 
-	_advance(1) (* Skip the new line. *)
+	_advance(1)
 end
 
 proc _compile_program()
 var loca0: Word
 begin
-	(* .global _start *)
-	loca0 := 0x6f6c672e (* .glo *);
+	loca0 := 0x6f6c672e;
 	_write_out(@loca0, 4);
-	loca0 := 0x206c6162 (* bal_ *);
+	loca0 := 0x206c6162;
 	_write_out(@loca0, 4);
-	loca0 := 0x6174735f (* _sta *);
+	loca0 := 0x6174735f;
 	_write_out(@loca0, 4);
-	loca0 := 0x0a7472 (* rt\n *);
+	loca0 := 0x0a7472;
 	_write_out(@loca0, 3);
 
-	_advance(8) (* program\n. *)
+	_advance(8)
 end
 
 proc _compile_constant_section()
@@ -786,19 +721,18 @@ var
 	loca0: Word
 	loca4: ^Byte
 begin
-	(* .section .rodata *)
-	loca0 := 0x6365732e (* .sec *);
+	loca0 := 0x6365732e;
 	_write_out(@loca0, 4);
-	loca0 := 0x6e6f6974 (* tion *);
+	loca0 := 0x6e6f6974;
 	_write_out(@loca0, 4);
-	loca0 := 0x6f722e20 (* _.ro *);
+	loca0 := 0x6f722e20;
 	_write_out(@loca0, 4);
-	loca0 := 0x61746164 (* data *);
+	loca0 := 0x61746164;
 	_write_out(@loca0, 4);
-	loca0 := 0x0a (* \n *);
+	loca0 := 0x0a;
 	_write_out(@loca0, 1);
 
-	_advance(6) (* const\n. *);
+	_advance(6);
 
 	.Lcompile_constant_section_item;
 	_skip_spaces();
@@ -818,28 +752,27 @@ var
 	loca8: ^Byte
 begin
 	loca4 := _read_token();
-	loca8 := _current() (* Save the identifier pointer before advancing it. *);
+	loca8 := _current();
 
 	_write_out(loca8, loca4);
 	_advance(loca4);
 
 	_skip_spaces();
-	_advance(2) (* Skip the assignment sign. *);
+	_advance(2);
 
-	(* : .long *)
-	loca0 := 0x6c2e203a (* : .l *);
+	loca0 := 0x6c2e203a;
 	_write_out(@loca0, 4);
-	loca0 := 0x20676e6f (* ong_ *);
+	loca0 := 0x20676e6f;
 	_write_out(@loca0, 4);
 
 	_skip_spaces();
 	loca4 := _read_token();
-	loca8 := _current() (* Save the literal pointer before advancing it. *);
+	loca8 := _current();
 
 	_write_out(loca8, loca4);
 	_advance(loca4);
 
-	_put_char(0x0a) (* \n *)
+	_put_char(0x0a)
 end
 
 proc _compile_variable_section()
@@ -847,17 +780,16 @@ var
 	loca0: Word
 	loca4: ^Byte
 begin
-	(* .section .bss *)
-	loca0 := 0x6365732e (* .sec *);
+	loca0 := 0x6365732e;
 	_write_out(@loca0, 4);
-	loca0 := 0x6e6f6974 (* tion *);
+	loca0 := 0x6e6f6974;
 	_write_out(@loca0, 4);
-	loca0 := 0x73622e20 (* _.bs *);
+	loca0 := 0x73622e20;
 	_write_out(@loca0, 4);
-	loca0 := 0x0a73 (* s\n *);
+	loca0 := 0x0a73;
 	_write_out(@loca0, 2);
 
-	_advance(4) (* var\n. *);
+	_advance(4);
 
 	.Lcompile_variable_section_item;
 	_skip_spaces();
@@ -878,70 +810,66 @@ var
 	loca28, loca16: ^Byte
 	loca0, loca24, loca20: Word
 begin
-	(* Save the identifier on the stack since it should emitted multiple times. *)
 	loca24 := _read_token();
 	loca28 := _current();
 
 	_advance(loca24);
 
 	_skip_spaces();
-	_advance(1) (* Skip the colon in front of the type. *);
+	_advance(1);
 
 	_skip_spaces();
-	_advance(1) (* Skip the opening bracket. *);
+	_advance(1);
 
-	(* Save the array size on the stack since it has to be emitted multiple times. *)
 	loca16 := _read_token();
 	loca20 := _current();
 	_advance(loca16);
 
 	_skip_spaces();
-	_advance(1) (* Skip the closing bracket. *);
+	_advance(1);
 
 	_skip_spaces();
 	loca0 := _read_token();
-	_advance(loca0) (* Skip the type. *);
+	_advance(loca0);
 
-	(* .type identifier, @object *)
-	loca0 := 0x7079742e (* .typ *);
+	loca0 := 0x7079742e;
 	_write_out(@loca0, 4);
-	loca0 := 0x2065 (* e_ *);
+	loca0 := 0x2065;
 	_write_out(@loca0, 2);
 
 	_write_out(loca28, loca24);
 
-	loca0 := 0x6f40202c (* , @o *);
+	loca0 := 0x6f40202c;
 	_write_out(@loca0, 4);
-	loca0 := 0x63656a62 (* bjec *);
+	loca0 := 0x63656a62;
 	_write_out(@loca0, 4);
-	loca0 := 0x0a74 (* t\n *);
+	loca0 := 0x0a74;
 	_write_out(@loca0, 2);
 
 	(* .size identifier, size *);
-	loca0 := 0x7a69732e (* .siz *);
+	loca0 := 0x7a69732e;
 	_write_out(@loca0, 4);
-	loca0 := 0x2065 (* e_ *);
+	loca0 := 0x2065;
 	_write_out(@loca0, 2);
 
 	_write_out(loca28, loca24);
 
-	loca0 := 0x202c (* ,_ *);
+	loca0 := 0x202c;
 	_write_out(@loca0, 2);
 
 	_write_out(loca20, loca16);
-	_put_char(0x0a) (* \n *);
+	_put_char(0x0a);
 
-	(* identifier: .zero size *)
 	_write_out(loca28, loca24);
 
-	loca0 := 0x7a2e203a (* : .z *);
+	loca0 := 0x7a2e203a;
 	_write_out(@loca0, 4);
-	loca0 := 0x206f7265 (* ero_ *);
+	loca0 := 0x206f7265;
 	_write_out(@loca0, 4);
 
 	_write_out(loca20, loca16);
 
-	_put_char(0x0a) (* \n *)
+	_put_char(0x0a)
 end
 
 proc _compile_procedure()
@@ -949,38 +877,38 @@ var
 	loca0, loca4, loca8, loca12, loca16: Word
 	loca20, loca24: ^Byte
 begin
-	_advance(5) (* Skip proc_ *);
+	_advance(5);
 	loca16 := _read_token();
 	loca20 := _current();
 	_advance(loca16);
 
 	(* .type identifier, @function *);
-	loca0 := 0x7079742e (* .typ *);
+	loca0 := 0x7079742e;
 	_write_out(@loca0, 4);
-	loca0 := 0x2065 (* e_ *);
+	loca0 := 0x2065;
 	_write_out(@loca0, 2);
 
 	_write_out(loca20, loca16);
 
-	loca0 := 0x6640202c (* , @f *);
+	loca0 := 0x6640202c;
 	_write_out(@loca0, 4);
-	loca0 := 0x74636e75 (* unct *);
+	loca0 := 0x74636e75;
 	_write_out(@loca0, 4);
-	loca0 := 0x0a6e6f69 (* ion\n *);
+	loca0 := 0x0a6e6f69;
 	_write_out(@loca0, 4);
 
 	_write_out(loca20, loca16);
 
-	loca0 := 0x0a3a (* :\n *);
+	loca0 := 0x0a3a;
 	_write_out(@loca0, 2);
 
 	_skip_spaces();
-	_advance(1) (* Skip opening argument paren. *);
+	_advance(1);
 	_skip_spaces();
-	_advance(1) (* Skip closing argument paren. *);
+	_advance(1);
 
-	loca12 := 0x6e (* n *);
-	loca8 := 0x69676562 (* begi *);
+	loca12 := 0x6e;
+	loca8 := 0x69676562;
 
 	(*
 	Skip all declarations until we find the "begin" keyword, denoting the
@@ -998,94 +926,91 @@ begin
 		goto .Lcompile_procedure_begin
 	end;
 
-	(* Generate the procedure prologue with a predefined stack size. *)
-	loca0 := 0x69646461 (* addi *);
+	loca0 := 0x69646461;
 	_write_out(@loca0, 4);
 
-	loca0 := 0x2c707320 (* _sp, *);
+	loca0 := 0x2c707320;
 	_write_out(@loca0, 4);
 	_write_out(@loca0, 4);
 
-	loca0 := 0x0a36392d (* -96\n *);
+	loca0 := 0x0a36392d;
 	_write_out(@loca0, 4);
 
-	loca0 := 0x72207773 (* sw r *);
+	loca0 := 0x72207773;
 	_write_out(@loca0, 4);
-	loca0 := 0x39202c61 (* a, 9 *);
+	loca0 := 0x39202c61;
 	_write_out(@loca0, 4);
-	loca0 := 0x70732832 (* 2(sp *);
+	loca0 := 0x70732832;
 	_write_out(@loca0, 4);
-	loca0 := 0x0a29 (* )\n *);
+	loca0 := 0x0a29;
 	_write_out(@loca0, 2);
 
-	loca0 := 0x73207773 (* sw s *);
+	loca0 := 0x73207773;
 	_write_out(@loca0, 4);
-	loca0 := 0x38202c30 (* 0, 8 *);
+	loca0 := 0x38202c30;
 	_write_out(@loca0, 4);
-	loca0 := 0x70732838 (* 8(sp *);
+	loca0 := 0x70732838;
 	_write_out(@loca0, 4);
-	loca0 := 0x0a29 (* )\n *);
+	loca0 := 0x0a29;
 	_write_out(@loca0, 2);
 
-	loca0 := 0x69646461 (* addi *);
+	loca0 := 0x69646461;
 	_write_out(@loca0, 4);
-	loca0 := 0x2c307320 (* _s0, *);
+	loca0 := 0x2c307320;
 	_write_out(@loca0, 4);
-	loca0 := 0x2c707320 (* _sp, *);
+	loca0 := 0x2c707320;
 	_write_out(@loca0, 4);
-	loca0 := 0x0a363920 (* _96\n *);
+	loca0 := 0x0a363920;
 	_write_out(@loca0, 4);
 
-	(* Save passed arguments on the stack. *)
-	loca0 := 0x61207773 (* sw a *);
+	loca0 := 0x61207773;
 	_write_out(@loca0, 4);
-	loca4 := 0x38202c30 (* 0, 8 *);
+	loca4 := 0x38202c30;
 	_write_out(@loca4, 4);
-	loca8 := 0x70732834 (* 4(sp *);
+	loca8 := 0x70732834;
 	_write_out(@loca8, 4);
-	loca12 := 0x0a29 (* )\n *);
+	loca12 := 0x0a29;
 	_write_out(@loca12, 2);
 
 	_write_out(@loca0, 4);
-	loca4 := 0x38202c31 (* 1, 8 *);
+	loca4 := 0x38202c31;
 	_write_out(@loca4, 4);
-	loca8 := 0x70732830 (* 0(sp *);
+	loca8 := 0x70732830;
 	_write_out(@loca8, 4);
 	_write_out(@loca12, 2);
 
 	_write_out(@loca0, 4);
-	loca4 := 0x37202c32 (* 2, 7 *);
+	loca4 := 0x37202c32;
 	_write_out(@loca4, 4);
-	loca8 := 0x70732836 (* 6(sp *);
+	loca8 := 0x70732836;
 	_write_out(@loca8, 4);
 	_write_out(@loca12, 2);
 
 	_write_out(@loca0, 4);
-	loca4 := 0x37202c33 (* 3, 7 *);
+	loca4 := 0x37202c33;
 	_write_out(@loca4, 4);
-	loca8 := 0x70732832 (* 2(sp *);
+	loca8 := 0x70732832;
 	_write_out(@loca8, 4);
 	_write_out(@loca12, 2);
 
 	_write_out(@loca0, 4);
-	loca4 := 0x36202c34 (* 4, 6 *);
+	loca4 := 0x36202c34;
 	_write_out(@loca4, 4);
-	loca8 := 0x70732838 (* 8(sp *);
+	loca8 := 0x70732838;
 	_write_out(@loca8, 4);
 	_write_out(@loca12, 2);
 
 	_write_out(@loca0, 4);
-	loca4 := 0x36202c35 (* 5, 6 *);
+	loca4 := 0x36202c35;
 	_write_out(@loca4, 4);
-	loca8 := 0x70732838 (* 4(sp *);
+	loca8 := 0x70732838;
 	_write_out(@loca8, 4);
 	_write_out(@loca12, 2);
 
-	(* Generate the body of the procedure. *)
 	.Lcompile_procedure_body;
 	_skip_spaces();
 	loca12 := _read_line();
-	loca8 := 0x0a646e65 (* end\n *);
+	loca8 := 0x0a646e65;
 	loca24 := _current();
 	loca8 := _memcmp(loca24, @loca8, 4);
 
@@ -1097,38 +1022,37 @@ begin
 	goto .Lcompile_procedure_body;
 
 	.Lcompile_procedure_end;
-	_advance(4) (* Skip end\n. *);
+	_advance(4);
 
-	(* Generate the procedure epilogue with a predefined stack size. *)
-	loca0 := 0x7220776c (* lw r *);
+	loca0 := 0x7220776c;
 	_write_out(@loca0, 4);
-	loca0 := 0x39202c61 (* a, 9 *);
+	loca0 := 0x39202c61;
 	_write_out(@loca0, 4);
-	loca0 := 0x70732832 (* 2(sp *);
+	loca0 := 0x70732832;
 	_write_out(@loca0, 4);
-	loca0 := 0x0a29 (* )\n *);
+	loca0 := 0x0a29;
 	_write_out(@loca0, 2);
 
-	loca0 := 0x7320776c (* lw s *);
+	loca0 := 0x7320776c;
 	_write_out(@loca0, 4);
-	loca0 := 0x38202c30 (* 0, 8 *);
+	loca0 := 0x38202c30;
 	_write_out(@loca0, 4);
-	loca0 := 0x70732838 (* 8(sp *);
+	loca0 := 0x70732838;
 	_write_out(@loca0, 4);
-	loca0 := 0x0a29 (* )\n *);
+	loca0 := 0x0a29;
 	_write_out(@loca0, 2);
 
-	loca0 := 0x69646461 (* addi *);
+	loca0 := 0x69646461;
 	_write_out(@loca0, 4);
 
-	loca0 := 0x2c707320 (* _sp, *);
+	loca0 := 0x2c707320;
 	_write_out(@loca0, 4);
 	_write_out(@loca0, 4);
 
-	loca0 := 0x0a3639 (* 96\n *);
+	loca0 := 0x0a3639;
 	_write_out(@loca0, 4);
 
-	loca0 := 0x0a746572 (* ret\n *);
+	loca0 := 0x0a746572;
 	_write_out(@loca0, 4)
 end
 
@@ -1193,22 +1117,22 @@ var
 	loca0: Word
 	loca8: ^Byte
 begin
-	_advance(4) (* Skip the goto keyword. *);
+	_advance(4);
 
-	loca0 := 0x206a (* j_ *);
+	loca0 := 0x206a;
 	_write_out(@loca0, 2);
 
 	_skip_spaces();
-	loca8 := _current() (* We should be on dot the label is beginning with. *);
+	loca8 := _current();
 	_advance(1);
 
 	loca0 := _read_token();
 	_advance(loca0);
-	loca0 := loca0 + 1 (* Label length and the dot. *);
+	loca0 := loca0 + 1;
 	_write_out(loca8, loca0);
 
-	_advance(1) (* Skip the new line. *);
-	_put_char(0x0a) (* \n *)
+	_advance(1);
+	_put_char(0x0a)
 end
 
 (* a0 - Line length. *)
@@ -1216,11 +1140,10 @@ proc _compile_label(loca84: Word)
 var
 	loca0: Word
 begin
-	(* Write the whole line as is. *)
 	loca0 := _current();
 
 	loca0 := loca0 + loca84;
-	loca0 := loca0 - 1 (* Last character on the line. *);
+	loca0 := loca0 - 1;
 	loca4 := loca84;
 
 	loca0 := _front(loca0);
@@ -1229,15 +1152,15 @@ begin
 	end;
 	_write_out(s1, loca4);
 
-	_put_char(0x3a) (* : *);
-	_put_char(0x0a) (* \n *);
+	_put_char(0x3a);
+	_put_char(0x0a);
 
 	_advance(loca84)
 end
 
 proc _compile_return()
 begin
-	_advance(6) (* Skip return. *);
+	_advance(6);
 	_skip_spaces();
 	_build_binary_expression();
 end
@@ -1247,28 +1170,28 @@ var
 	loca8, loca12, loca16, loca20: Word
 	loca4: ^Byte
 begin
-	_advance(2) (* Skip the if. *);
+	_advance(2);
 	_skip_spaces();
 
 	_build_binary_expression();
 
 	_skip_spaces();
-	_advance(4) (* Skip the then. *);
+	_advance(4);
 
-	loca20 := 0x00646e65 (* if end marker and newline. *);
-	loca16 := 0x66694c2e (* Label prefix ".Lif". *);
+	loca20 := 0x00646e65;
+	loca16 := 0x66694c2e;
 
-	loca12 := 0x7a716562 (* beqz *);
+	loca12 := 0x7a716562;
 	_write_out(@loca12, 4);
-	loca12 := 0x2c306120 (* _a0, *);
+	loca12 := 0x2c306120;
 	_write_out(@loca12, 4);
-	_put_char(0x20) (* _ *);
+	_put_char(0x20);
 
 	(* Write the label *);
 	_write_out(@loca16, 4);
 	_printi(s2);
 
-	_put_char(0x0a) (* \n *);
+	_put_char(0x0a);
 
 	.Lcompile_if_loop;
 	_skip_spaces();
@@ -1284,16 +1207,15 @@ begin
 		goto .Lcompile_if_loop
 	end;
 
-	(* Write the label *)
 	_write_out(@loca16, 4);
 	_printi(s2);
 
-	loca12 := 0x0a3a0a3a (* :\n:\n *);
+	loca12 := 0x0a3a0a3a;
 	_write_out(@loca12, 2);
 
 	(* Increment the label counter. *);
 	s2 := s2 + 1;
-	_advance(4) (* Skip the end with newline. *)
+	_advance(4)
 end
 
 (*
@@ -1314,54 +1236,53 @@ var
 	loca16: ^Byte
 begin
 	if loca84 = 0 then
-		goto .Lcompile_line_empty (* Skip an empty line. *)
+		goto .Lcompile_line_empty
 	end;
 
 	loca16 := _current();
 	loca0 := _front(loca16);
-	(* ( *)
 	if loca0 = 0x28 then
 		goto .Lcompile_line_comment
 	end;
 	loca16 := _current();
 
-	loca12 := 0x676f7270 (* prog *);
+	loca12 := 0x676f7270;
 	loca4 := _memcmp(loca16, @loca12, 4);
 	if loca4 = 0 then
 		goto .Lcompile_line_program
 	end;
 
-	loca12 := 0x736e6f63 (* cons *);
+	loca12 := 0x736e6f63;
 	loca4 := _memcmp(loca16, @loca12, 4);
 	if loca4 = 0 then
 		goto .Lcompile_line_const
 	end;
 
-	loca12 := 0x0a726176 (* var\n *);
+	loca12 := 0x0a726176;
 	loca4 := _memcmp(loca16, @loca12, 4);
 	if loca4 = 0 then
 		goto .Lcompile_line_var
 	end;
 
-	loca12 := 0x636f7270 (* proc *);
+	loca12 := 0x636f7270;
 	loca4 := _memcmp(loca16, @loca12, 4);
 	if loca4 = 0 then
 		goto .Lcompile_line_procedure
 	end;
 
-	loca12 := 0x69676562 (* begi *);
+	loca12 := 0x69676562;
 	loca4 := _memcmp(loca16, @loca12, 4);
 	if loca4 = 0 then
 		goto .Lcompile_line_begin
 	end;
 
-	loca12 := 0x2e646e65 (* end. *);
+	loca12 := 0x2e646e65;
 	loca4 := _memcmp(loca16, @loca12, 4);
 	if loca4 = 0 then
 		goto .Lcompile_line_exit
 	end;
 
-	loca12 := 0x61636f6c (* loca *);
+	loca12 := 0x61636f6c;
 	loca4 := _memcmp(loca16, @loca12, 4);
 	if loca4 = 0 then
 		goto .Lcompile_line_identifier
@@ -1371,39 +1292,37 @@ begin
 		goto .Lcompile_line_identifier
 	end;
 
-	loca12 := 0x6f706d69 (* impo *);
+	loca12 := 0x6f706d69;
 	loca4 := _memcmp(loca16, @loca12, 4);
 	if loca4 = 0 then
 		goto .Lcompile_line_import
 	end;
 
-	loca12 := 0x6f746f67 (* goto *);
+	loca12 := 0x6f746f67;
 	loca4 := _memcmp(loca16, @loca12, 4);
 	if loca4 = 0 then
 		goto .Lcompile_line_goto
 	end;
 
-	loca12 := 0x75746572 (* retu *);
+	loca12 := 0x75746572;
 	loca4 := _memcmp(loca16, @loca12, 4);
 	if loca4 = 0 then
 		goto .Lcompile_line_return
 	end;
 
-	loca12 := 0x6669 (* if *);
+	loca12 := 0x6669;
 	loca4 := _memcmp(loca16, @loca12, 2);
 	if loca4 = 0 then
 		goto .Lcompile_line_if
 	end;
 
-	(* . *)
 	if loca0 = 0x2e then
 		goto .Lcompile_line_label
 	end;
-	(* _ *)
 	if loca0 = 0x5f then
 		goto .Lcompile_line_identifier
 	end;
-	goto .Lcompile_line_unchanged (* Else. *);
+	goto .Lcompile_line_unchanged;
 
 	.Lcompile_line_if;
 	_compile_if();
@@ -1492,64 +1411,59 @@ end
 proc _compile_text_section()
 var loca0: Word
 begin
-	(* .section .text *)
-	loca0 := 0x6365732e (* .sec *);
+	loca0 := 0x6365732e;
 	_write_out(@loca0, 4);
-	loca0 := 0x6e6f6974 (* tion *);
+	loca0 := 0x6e6f6974;
 	_write_out(@loca0, 4);
-	loca0 := 0x65742e20 (* _.te *);
+	loca0 := 0x65742e20;
 	_write_out(@loca0, 4);
-	loca0 := 0x0a7478 (* xt\n *);
+	loca0 := 0x0a7478;
 	_write_out(@loca0, 3)
 end
 
 proc _compile_entry_point()
 var loca0: Word
 begin
-	(* .type _start, @function *)
-	loca0 := 0x7079742e (* .typ *);
+	loca0 := 0x7079742e;
 	_write_out(@loca0, 4);
-	loca0 := 0x735f2065 (* e _s *);
+	loca0 := 0x735f2065;
 	_write_out(@loca0, 4);
-	loca0 := 0x74726174 (* tart *);
+	loca0 := 0x74726174;
 	_write_out(@loca0, 4);
-	loca0 := 0x6640202c (* , @f *);
+	loca0 := 0x6640202c;
 	_write_out(@loca0, 4);
-	loca0 := 0x74636e75 (* unct *);
+	loca0 := 0x74636e75;
 	_write_out(@loca0, 4);
-	loca0 := 0x0a6e6f69 (* ion\n *);
+	loca0 := 0x0a6e6f69;
 	_write_out(@loca0, 4);
-	loca0 := 0x6174735f (* _sta *);
+	loca0 := 0x6174735f;
 	_write_out(@loca0, 4);
-	loca0 := 0x0a3a7472 (* rt:\n *);
+	loca0 := 0x0a3a7472;
 	_write_out(@loca0, 4);
 
-	_advance(6) (* Skip begin\n. *)
+	_advance(6)
 end
 
 proc _compile_exit()
 var loca0: Word
 begin
-	(* li a0, 0 *)
-	(* li a7, SYS_EXIT *)
-	(* ecall *)
-	loca0 := 0x6120696c (* li a *);
+	loca0 := 0x6120696c;
 	_write_out(@loca0, 4);
-	loca0 := 0x30202c30 (* 0, 0 *);
+	loca0 := 0x30202c30;
 	_write_out(@loca0, 4);
-	loca0 := 0x20696c0a (* \nli_ *);
+	loca0 := 0x20696c0a;
 	_write_out(@loca0, 4);
-	loca0 := 0x202c3761 (* a7,_ *);
+	loca0 := 0x202c3761;
 	_write_out(@loca0, 4);
-	loca0 := 0x650a3339 (* 93\ne *);
+	loca0 := 0x650a3339;
 	_write_out(@loca0, 4);
-	loca0 := 0x6c6c6163 (* call *);
+	loca0 := 0x6c6c6163;
 	_write_out(@loca0, 4);
-	loca0 := 0x0a (* \n *);
+	loca0 := 0x0a;
 	_write_out(@loca0, 1);
 
-	_advance(4) (* Skip end. *);
-	_skip_spaces() (* Read the possible new line at the end of the file. *)
+	_advance(4);
+	_skip_spaces()
 end
 
 (* Finds the end of the line and returns its length in a0. *)
@@ -1558,22 +1472,22 @@ var
 	loca0: ^Byte
 	loca4: Byte
 begin
-	loca0 := _current() (* Local position in the source text. *);
+	loca0 := _current();
 
 	.Lread_line_do;
-	loca4 := _front(loca0) (* t1 = Current character. *);
+	loca4 := _front(loca0);
 	if loca4 = 0 then
-		goto .Lread_line_end (* Exit the loop on the NUL character. *)
+		goto .Lread_line_end
 	end;
 	if loca4 = 0x0a then
-		goto .Lread_line_end (* Exit the loop on the new line. *)
+		goto .Lread_line_end
 	end;
 	loca0 := loca0 + 1;
 	goto .Lread_line_do;
 
 	.Lread_line_end;
 	loca4 := _current();
-	return loca0 - loca4 (* Return the line length. *)
+	return loca0 - loca4
 end
 
 proc _compile()
@@ -1583,14 +1497,14 @@ var
 	loca12: Char
 	loca16: ^Byte
 begin
-	loca4 := 0 (* Whether the text section header was already emitted. *);
+	loca4 := 0;
 
 	.Lcompile_do;
 	loca16 := _current();
-	loca12 := _front(loca16) (* t0 = Current character. *);
+	loca12 := _front(loca16);
 
 	if loca12 = 0 then
-		goto .Lcompile_end (* Exit the loop on the NUL character. *)
+		goto .Lcompile_end
 	end;
 
 	_skip_spaces();
@@ -1600,7 +1514,6 @@ begin
 	if loca8 = 0 then
 		goto .Lcompile_do
 	end;
-	(* Update whether the text section header was already emitted. *)
 	loca4 := loca4 or loca8;
 
 	goto .Lcompile_do;
@@ -1631,7 +1544,6 @@ end
 
 proc _main()
 begin
-	(* Read the source from the standard input. *)
 	_read_file(source_code, SOURCE_BUFFER_SIZE);
 
 	s2 := 1