From b1b8543fa27f15fc7bdfb9ed46870788c8ca8ba6 Mon Sep 17 00:00:00 2001
From: zu2 <3023910+zu2@users.noreply.github.com>
Date: Tue, 16 Dec 2025 15:59:18 +0900
Subject: [PATCH] mach/mc6800: Add MC6800 code generator support

---
 mach/mc6800/Action            |   21 +
 mach/mc6800/as/mach0.c        |   16 +
 mach/mc6800/as/mach1.c        |   12 +
 mach/mc6800/as/mach2.c        |   20 +
 mach/mc6800/as/mach3.c        |  124 ++
 mach/mc6800/as/mach4.c        |   85 +
 mach/mc6800/as/mach5.c        |   47 +
 mach/mc6800/cg/build.py       |    3 +
 mach/mc6800/cg/mach.c         |  100 +
 mach/mc6800/cg/mach.h         |   42 +
 mach/mc6800/cg/table          | 3365 +++++++++++++++++++++++++++++++++
 mach/mc6800/libem/aar.s       |   78 +
 mach/mc6800/libem/adi4.s      |   37 +
 mach/mc6800/libem/and.s       |   45 +
 mach/mc6800/libem/and4.s      |   38 +
 mach/mc6800/libem/blm.s       |   58 +
 mach/mc6800/libem/build.py    |   10 +
 mach/mc6800/libem/cii.s       |   98 +
 mach/mc6800/libem/cmi.s       |   43 +
 mach/mc6800/libem/cmi2.s      |   42 +
 mach/mc6800/libem/cmi4.s      |   60 +
 mach/mc6800/libem/cms.s       |  117 ++
 mach/mc6800/libem/cmu.s       |   43 +
 mach/mc6800/libem/cmu2.s      |   42 +
 mach/mc6800/libem/cmu4.s      |   60 +
 mach/mc6800/libem/csa.s       |   73 +
 mach/mc6800/libem/csb.s       |   66 +
 mach/mc6800/libem/data.s      |   43 +
 mach/mc6800/libem/dum_float.s |   65 +
 mach/mc6800/libem/dup.s       |   49 +
 mach/mc6800/libem/dup4.s      |   30 +
 mach/mc6800/libem/dvi.s       |  162 ++
 mach/mc6800/libem/dvi4.s      |  188 ++
 mach/mc6800/libem/exg.s       |   59 +
 mach/mc6800/libem/gto.s       |   38 +
 mach/mc6800/libem/inn.s       |   87 +
 mach/mc6800/libem/lcs.s       |   28 +
 mach/mc6800/libem/mli.s       |   53 +
 mach/mc6800/libem/mli4.s      |   83 +
 mach/mc6800/libem/pop.s       |   30 +
 mach/mc6800/libem/pro.s       |   37 +
 mach/mc6800/libem/pushx.s     |   25 +
 mach/mc6800/libem/ret.s       |   40 +
 mach/mc6800/libem/sbi.s       |   24 +
 mach/mc6800/libem/sli.s       |   28 +
 mach/mc6800/libem/sli4.s      |   31 +
 mach/mc6800/libem/sri.s       |   30 +
 mach/mc6800/libem/sri4.s      |   31 +
 mach/mc6800/libem/sru.s       |   30 +
 mach/mc6800/libem/sru4.s      |   31 +
 mach/mc6800/libem/start.s     |   22 +
 mach/mc6800/libem/testFFh.s   |   25 +
 mach/mc6800/libem/tge.s       |   20 +
 mach/mc6800/libem/tgt.s       |   27 +
 mach/mc6800/libem/tle.s       |   28 +
 mach/mc6800/libem/tlt.s       |   19 +
 mach/mc6800/libem/trap.s      |  107 ++
 mach/mc6800/libend/LIST       |    5 +
 mach/mc6800/libend/build.py   |   14 +
 mach/mc6800/libend/edata.s    |    9 +
 mach/mc6800/libend/em_end.s   |   15 +
 mach/mc6800/libend/end.s      |    8 +
 mach/mc6800/libend/etext.s    |   10 +
 mach/mc6800/libmon/LIST       |    1 +
 mach/mc6800/libmon/build.py   |   11 +
 mach/mc6800/libmon/head_em.s  |   43 +
 mach/mc6800/mach_params       |    5 +
 67 files changed, 6336 insertions(+)
 create mode 100644 mach/mc6800/Action
 create mode 100644 mach/mc6800/as/mach0.c
 create mode 100644 mach/mc6800/as/mach1.c
 create mode 100644 mach/mc6800/as/mach2.c
 create mode 100644 mach/mc6800/as/mach3.c
 create mode 100644 mach/mc6800/as/mach4.c
 create mode 100644 mach/mc6800/as/mach5.c
 create mode 100644 mach/mc6800/cg/build.py
 create mode 100644 mach/mc6800/cg/mach.c
 create mode 100644 mach/mc6800/cg/mach.h
 create mode 100644 mach/mc6800/cg/table
 create mode 100644 mach/mc6800/libem/aar.s
 create mode 100644 mach/mc6800/libem/adi4.s
 create mode 100644 mach/mc6800/libem/and.s
 create mode 100644 mach/mc6800/libem/and4.s
 create mode 100644 mach/mc6800/libem/blm.s
 create mode 100644 mach/mc6800/libem/build.py
 create mode 100644 mach/mc6800/libem/cii.s
 create mode 100644 mach/mc6800/libem/cmi.s
 create mode 100644 mach/mc6800/libem/cmi2.s
 create mode 100644 mach/mc6800/libem/cmi4.s
 create mode 100644 mach/mc6800/libem/cms.s
 create mode 100644 mach/mc6800/libem/cmu.s
 create mode 100644 mach/mc6800/libem/cmu2.s
 create mode 100644 mach/mc6800/libem/cmu4.s
 create mode 100644 mach/mc6800/libem/csa.s
 create mode 100644 mach/mc6800/libem/csb.s
 create mode 100644 mach/mc6800/libem/data.s
 create mode 100644 mach/mc6800/libem/dum_float.s
 create mode 100644 mach/mc6800/libem/dup.s
 create mode 100644 mach/mc6800/libem/dup4.s
 create mode 100644 mach/mc6800/libem/dvi.s
 create mode 100644 mach/mc6800/libem/dvi4.s
 create mode 100644 mach/mc6800/libem/exg.s
 create mode 100644 mach/mc6800/libem/gto.s
 create mode 100644 mach/mc6800/libem/inn.s
 create mode 100644 mach/mc6800/libem/lcs.s
 create mode 100644 mach/mc6800/libem/mli.s
 create mode 100644 mach/mc6800/libem/mli4.s
 create mode 100644 mach/mc6800/libem/pop.s
 create mode 100644 mach/mc6800/libem/pro.s
 create mode 100644 mach/mc6800/libem/pushx.s
 create mode 100644 mach/mc6800/libem/ret.s
 create mode 100644 mach/mc6800/libem/sbi.s
 create mode 100644 mach/mc6800/libem/sli.s
 create mode 100644 mach/mc6800/libem/sli4.s
 create mode 100644 mach/mc6800/libem/sri.s
 create mode 100644 mach/mc6800/libem/sri4.s
 create mode 100644 mach/mc6800/libem/sru.s
 create mode 100644 mach/mc6800/libem/sru4.s
 create mode 100644 mach/mc6800/libem/start.s
 create mode 100644 mach/mc6800/libem/testFFh.s
 create mode 100644 mach/mc6800/libem/tge.s
 create mode 100644 mach/mc6800/libem/tgt.s
 create mode 100644 mach/mc6800/libem/tle.s
 create mode 100644 mach/mc6800/libem/tlt.s
 create mode 100644 mach/mc6800/libem/trap.s
 create mode 100644 mach/mc6800/libend/LIST
 create mode 100644 mach/mc6800/libend/build.py
 create mode 100644 mach/mc6800/libend/edata.s
 create mode 100644 mach/mc6800/libend/em_end.s
 create mode 100644 mach/mc6800/libend/end.s
 create mode 100644 mach/mc6800/libend/etext.s
 create mode 100644 mach/mc6800/libmon/LIST
 create mode 100644 mach/mc6800/libmon/build.py
 create mode 100644 mach/mc6800/libmon/head_em.s
 create mode 100644 mach/mc6800/mach_params

diff --git a/mach/mc6800/Action b/mach/mc6800/Action
new file mode 100644
index 0000000000..1a67d8a957
--- /dev/null
+++ b/mach/mc6800/Action
@@ -0,0 +1,21 @@
+name "Motorola 6800 assembler"
+dir as
+end
+name "Motorola 6800 backend"
+dir cg
+end
+#name "Motorola 6800 download program(s)"
+#dir dl
+#end
+name "Motorola 6800 EM library"
+dir libem
+end
+name "Motorola 6800 etext,edata,end library"
+dir libend
+end
+name "Motorola 6800 MON library"
+dir libmon
+end
+name "Motorola 6800 system call library"
+dir libsys
+end
diff --git a/mach/mc6800/as/mach0.c b/mach/mc6800/as/mach0.c
new file mode 100644
index 0000000000..1a8e45fdfb
--- /dev/null
+++ b/mach/mc6800/as/mach0.c
@@ -0,0 +1,16 @@
+/*
+ * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
+ * See the copyright notice in the ACK home directory, in the file "Copyright".
+ */
+#define RCSID0 "$Id$"
+
+/*
+ * Motorola 6800 options
+ */
+
+#define	BYTES_REVERSED
+#define	WORDS_REVERSED
+#define THREE_PASS
+#define	LISTING
+#define RELOCATION
+#define DEBUG 1
diff --git a/mach/mc6800/as/mach1.c b/mach/mc6800/as/mach1.c
new file mode 100644
index 0000000000..6fe38953c4
--- /dev/null
+++ b/mach/mc6800/as/mach1.c
@@ -0,0 +1,12 @@
+/*
+ * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
+ * See the copyright notice in the ACK home directory, in the file "Copyright".
+ */
+#define RCSID1 "$Id$"
+
+/*
+ * Motorola 6800 C declarations
+ */
+
+void branch(int opc, expr_t exp);
+
diff --git a/mach/mc6800/as/mach2.c b/mach/mc6800/as/mach2.c
new file mode 100644
index 0000000000..facedbbf03
--- /dev/null
+++ b/mach/mc6800/as/mach2.c
@@ -0,0 +1,20 @@
+/*
+ * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
+ * See the copyright notice in the ACK home directory, in the file "Copyright".
+ */
+#define RCSID2 "$Id$"
+
+/*
+ * Motorola 6800 tokens
+ */
+
+%token <y_word> X
+%token <y_word> EXTENSION
+%token <y_word> NOARG
+%token <y_word> BRANCH
+%token <y_word> AOP
+%token <y_word> XOP
+
+%type <y_word> memref
+
+%nonassoc EXTENSION
diff --git a/mach/mc6800/as/mach3.c b/mach/mc6800/as/mach3.c
new file mode 100644
index 0000000000..5d06e85a05
--- /dev/null
+++ b/mach/mc6800/as/mach3.c
@@ -0,0 +1,124 @@
+/*
+ * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
+ * See the copyright notice in the ACK home directory, in the file "Copyright".
+ */
+#define RCSID3 "$Id$"
+
+/*
+ * Motorola 6800 keywords
+ */
+{0,     EXTENSION,      0,              ".l"},
+{0,     EXTENSION,      8,              ".h"},
+{0,	X,		0,		"x"},
+{0,	NOARG,		0x01,		"nop"},
+{0,	NOARG,		0x06,		"tap"},
+{0,	NOARG,		0x07,		"tpa"},
+{0,	NOARG,		0x08,		"inx"},
+{0,	NOARG,		0x09,		"dex"},
+{0,	NOARG,		0x0A,		"clv"},
+{0,	NOARG,		0x0B,		"sev"},
+{0,	NOARG,		0x0C,		"clc"},
+{0,	NOARG,		0x0D,		"sec"},
+{0,	NOARG,		0x0E,		"cli"},
+{0,	NOARG,		0x0F,		"sei"},
+{0,	NOARG,		0x10,		"sba"},
+{0,	NOARG,		0x11,		"cba"},
+{0,	NOARG,		0x16,		"tab"},
+{0,	NOARG,		0x17,		"tba"},
+{0,	NOARG,		0x19,		"daa"},
+{0,	NOARG,		0x1B,		"aba"},
+{0,	BRANCH,		0x20,		"bra"},
+{0,	BRANCH,		0x22,		"bhi"},
+{0,	BRANCH,		0x23,		"bls"},
+{0,	BRANCH,		0x24,		"bcc"},
+{0,	BRANCH,		0x24,		"bhs"},	/* bcc */
+{0,	BRANCH,		0x25,		"bcs"},
+{0,	BRANCH,		0x25,		"blo"},	/* bcs */
+{0,	BRANCH,		0x26,		"bne"},
+{0,	BRANCH,		0x27,		"beq"},
+{0,	BRANCH,		0x28,		"bvc"},
+{0,	BRANCH,		0x29,		"bvs"},
+{0,	BRANCH,		0x2A,		"bpl"},
+{0,	BRANCH,		0x2B,		"bmi"},
+{0,	BRANCH,		0x2C,		"bge"},
+{0,	BRANCH,		0x2D,		"blt"},
+{0,	BRANCH,		0x2E,		"bgt"},
+{0,	BRANCH,		0x2F,		"ble"},
+{0,	NOARG,		0x30,		"tsx"},
+{0,	NOARG,		0x31,		"ins"},
+{0,	NOARG,		0x32,		"pula"},
+{0,	NOARG,		0x33,		"pulb"},
+{0,	NOARG,		0x34,		"des"},
+{0,	NOARG,		0x35,		"txs"},
+{0,	NOARG,		0x36,		"psha"},
+{0,	NOARG,		0x37,		"pshb"},
+{0,	NOARG,		0x39,		"rts"},
+{0,	NOARG,		0x3B,		"rti"},
+{0,	NOARG,		0x3E,		"wai"},
+{0,	NOARG,		0x3F,		"swi"},
+{0,	NOARG,		0x40,		"nega"},
+{0,	NOARG,		0x43,		"coma"},
+{0,	NOARG,		0x44,		"lsra"},
+{0,	NOARG,		0x46,		"rora"},
+{0,	NOARG,		0x47,		"asra"},
+{0,	NOARG,		0x48,		"asla"},
+{0,	NOARG,		0x48,		"lsla"},
+{0,	NOARG,		0x49,		"rola"},
+{0,	NOARG,		0x4A,		"deca"},
+{0,	NOARG,		0x4C,		"inca"},
+{0,	NOARG,		0x4D,		"tsta"},
+{0,	NOARG,		0x4F,		"clra"},
+{0,	NOARG,		0x50,		"negb"},
+{0,	NOARG,		0x53,		"comb"},
+{0,	NOARG,		0x54,		"lsrb"},
+{0,	NOARG,		0x56,		"rorb"},
+{0,	NOARG,		0x57,		"asrb"},
+{0,	NOARG,		0x58,		"aslb"},
+{0,	NOARG,		0x58,		"lslb"},
+{0,	NOARG,		0x59,		"rolb"},
+{0,	NOARG,		0x5A,		"decb"},
+{0,	NOARG,		0x5C,		"incb"},
+{0,	NOARG,		0x5D,		"tstb"},
+{0,	NOARG,		0x5F,		"clrb"},
+{0,	AOP,		0x60,		"neg"},
+{0,	AOP,		0x63,		"com"},
+{0,	AOP,		0x64,		"lsr"},
+{0,	AOP,		0x66,		"ror"},
+{0,	AOP,		0x67,		"asr"},
+{0,	AOP,		0x68,		"asl"},
+{0,	AOP,		0x68,		"lsl"},
+{0,	AOP,		0x69,		"rol"},
+{0,	AOP,		0x6A,		"dec"},
+{0,	AOP,		0x6C,		"inc"},
+{0,	AOP,		0x6D,		"tst"},
+{0,	XOP,		0x6E,		"jmp"},
+{0,	AOP,		0x6F,		"clr"},
+{0,	BRANCH,		0x8D,		"bsr"},
+{0,	XOP,		0xA0,		"suba"},
+{0,	XOP,		0xA1,		"cmpa"},
+{0,	XOP,		0xA2,		"sbca"},
+{0,	XOP,		0xA4,		"anda"},
+{0,	XOP,		0xA5,		"bita"},
+{0,	XOP,		0xA6,		"ldaa"},
+{0,	XOP,		0xA7,		"staa"},
+{0,	XOP,		0xA8,		"eora"},
+{0,	XOP,		0xA9,		"adca"},
+{0,	XOP,		0xAA,		"oraa"},
+{0,	XOP,		0xAB,		"adda"},
+{0,	XOP,		0xAC,		"cpx"},
+{0,	XOP,		0xAD,		"jsr"},
+{0,	XOP,		0xAE,		"lds"},
+{0,	XOP,		0xAF,		"sts"},
+{0,	XOP,		0xE0,		"subb"},
+{0,	XOP,		0xE1,		"cmpb"},
+{0,	XOP,		0xE2,		"sbcb"},
+{0,	XOP,		0xE4,		"andb"},
+{0,	XOP,		0xE5,		"bitb"},
+{0,	XOP,		0xE6,		"ldab"},
+{0,	XOP,		0xE7,		"stab"},
+{0,	XOP,		0xE8,		"eorb"},
+{0,	XOP,		0xE9,		"adcb"},
+{0,	XOP,		0xEA,		"orab"},
+{0,	XOP,		0xEB,		"addb"},
+{0,	XOP,		0xEE,		"ldx"},
+{0,	XOP,		0xEF,		"stx"},
diff --git a/mach/mc6800/as/mach4.c b/mach/mc6800/as/mach4.c
new file mode 100644
index 0000000000..e39c6f1ccf
--- /dev/null
+++ b/mach/mc6800/as/mach4.c
@@ -0,0 +1,85 @@
+#define RCSID4 "$Id$"
+
+/*
+ * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
+ * See the copyright notice in the ACK home directory, in the file "Copyright".
+ *
+ */
+
+/*
+ * Motorola 6800 parsing rules
+ */
+
+expr    
+        :       expr    EXTENSION       
+                        { $$.val = ($1.val >> $2) & 0xFF;
+#ifdef RELOCATION       
+                          $$.typ = combine($1.typ, S_ABS, '&');
+                                            /* This will generate an 'invalid operator'      */         
+                                            /* error if $1.typ is not absolute after pass 1. */         
+#else   
+                          $$.typ = $1.typ;  /* Even if $1.typ is relocatable, it should be   */         
+                                            /* absolute by the final pass.                   */
+#endif /* RELOCATION */
+                        }
+        ;
+operation
+	:
+		NOARG
+			{	emit1($1);}
+	|
+		BRANCH expr
+			{	branch($1,$2);}
+	|
+		XOP '#' expr
+			{	emit1($1 - 0x20);
+				switch ($1 & 0x0F) {
+				case 0x03:
+				case 0x0C:
+				case 0x0E:
+#ifdef RELOCATION
+					if (rflag != 0 && PASS_RELO)
+						newrelo($3.typ, RELO2|RELBR);
+#endif
+					emit2($3.val);
+					break;
+				default:
+#ifdef RELOCATION
+					if (rflag != 0 && PASS_RELO)
+						newrelo($3.typ, RELO1);
+#endif
+					emit1($3.val);
+				}
+			}
+	|
+		XOP '<' expr
+			{	emit1($1 - 0x10);
+#ifdef RELOCATION
+				if (rflag != 0 && PASS_RELO)
+					newrelo($3.typ, RELO1);
+#endif
+				emit1($3.val);
+			}
+	|
+		memref expr
+			{	emit1($1 + 0x10);
+#ifdef RELOCATION
+				if (rflag != 0 && PASS_RELO)
+					newrelo($2.typ, RELO2|RELBR);
+#endif
+				emit2($2.val);
+			}
+	|
+		memref expr ',' X
+			{	emit1($1);
+#ifdef RELOCATION
+				newrelo($2.typ, RELO1);
+#endif
+				emit1($2.val);
+			}
+	;
+memref	:
+		AOP
+	|
+		XOP
+	;
diff --git a/mach/mc6800/as/mach5.c b/mach/mc6800/as/mach5.c
new file mode 100644
index 0000000000..053ed28428
--- /dev/null
+++ b/mach/mc6800/as/mach5.c
@@ -0,0 +1,47 @@
+/*
+ * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
+ * See the copyright notice in the ACK home directory, in the file "Copyright".
+ */
+#define RCSID5 "$Id$"
+
+/*
+ * Motorola 6800 special routines
+ */
+
+void branch(int opc,expr_t exp)
+{
+	int sm, dist;
+	int saving;
+
+	dist = exp.val - (DOTVAL + 2);
+	if (pass == PASS_2 && dist > 0 && !(exp.typ & S_DOT))
+		dist -= DOTGAIN;
+	sm = fitb(dist);
+	if ((exp.typ & ~S_DOT) != DOTTYP)
+		sm = 0;
+	if (opc == 0x8D || opc == 0x20)
+		saving = 1;
+	else
+		saving = 3;
+	if (small(sm,saving)) {
+		emit1(opc);
+		emit1(dist);
+	} else {
+		if (opc == 0x8D)		/* bsr */
+			emit1(0xBD);		/* jsr */
+		else {
+			if (opc != 0x20) {	/* bra */
+
+					/* reverse condition : */
+
+				emit1(opc ^ 1);
+				emit1(3);
+			}
+			emit1(0x7E);		/* jmp */
+		}
+#ifdef RELOCATION
+		newrelo(exp.typ, RELO2 | RELBR);
+#endif
+		emit2(exp.val);
+	}
+}
diff --git a/mach/mc6800/cg/build.py b/mach/mc6800/cg/build.py
new file mode 100644
index 0000000000..5a4f60f954
--- /dev/null
+++ b/mach/mc6800/cg/build.py
@@ -0,0 +1,3 @@
+from build.c import clibrary
+
+clibrary(name="cg", hdrs={"mach.h": "./mach.h", "mach.c": "./mach.c"})
diff --git a/mach/mc6800/cg/mach.c b/mach/mc6800/cg/mach.c
new file mode 100644
index 0000000000..29b40f2236
--- /dev/null
+++ b/mach/mc6800/cg/mach.c
@@ -0,0 +1,100 @@
+/* $Id$ */
+/*
+ * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
+ * See the copyright notice in the ACK home directory, in the file "Copyright".
+ */
+void
+con_part(int sz, word w) {
+
+	while (part_size % sz)
+		part_size++;
+	if (part_size == TEM_WSIZE)
+		part_flush();
+	if (sz == 1) {
+		w &= 0xFF;
+		if (part_size == 0) {
+			/* Shift 8 for m68k2, 16 otherwise */
+			w <<= 8;
+		}
+		part_word |= w;
+	} else {
+if (sz!=2)
+  fprintf(stderr,"con_part(%d,%04x)\n",sz,w);
+		assert(sz == 2);
+		part_word = w;
+	}
+	part_size += sz;
+}
+
+void con_mult(word sz)
+{
+	if (sz != 4)
+		fatal("bad icon/ucon size");
+	fprintf(codefile,".data4 %ld\n", atol(str));
+}
+
+
+void con_float(void)
+{
+static int been_here;
+	if (argval != 4 && argval != 8)
+		fatal("bad fcon size");
+	fprintf(codefile,".data4\t");
+	if (argval == 8)
+		fprintf(codefile,"F_DUM,");
+	fprintf(codefile,"F_DUM\n");
+	if ( !been_here++)
+	{
+	fprintf(stderr,"Warning : dummy float-constant(s)\n");
+	}
+}
+
+void prolog(full nlocals)
+{
+	int i;
+
+	fprintf(codefile,"\tjsr Pro\n");
+	fprintf(codefile,"! nlocals %d\n",nlocals);
+	if (nlocals == 0)
+		return;
+	else if (nlocals < 8)
+		for (i=0; i<nlocals; i++) {
+			fprintf(codefile,"\tdes\n");
+		}
+	else
+		fprintf(codefile,
+	"\tldab #[%d].l\n\tldaa #[%d].h\n\tjsr Lcs\n",
+					-nlocals, -nlocals);
+}
+
+void mes(word type)
+{
+	int argt ;
+	switch ( (int)type ) {
+	case ms_ext :
+		for (;;) {
+			switch ( argt=getarg(
+			    ptyp(sp_cend)|ptyp(sp_pnam)|sym_ptyp) ) {
+			case sp_cend :
+				return ;
+			default:
+				strarg(argt) ;
+				fprintf(codefile,".define %s\n",argstr) ;
+				break ;
+			}
+		}
+	default :
+		while ( getarg(any_ptyp) != sp_cend ) ;
+		break ;
+	}
+}
+
+char    *segname[] = {
+	".sect .text",        /* 1:SEGTXT */
+/*	".sect .rom",        /* 2:SEGROM */
+	".sect .data",        /* 2:SEGROM */
+	".sect .data",        /* 3:SEGCON */
+	".sect .bss",          /* 4:SEGBSS */
+	".sect .end",		/* 5:SEGEND */
+	".sect .zero",		/* 0:SEGZERO */
+};
diff --git a/mach/mc6800/cg/mach.h b/mach/mc6800/cg/mach.h
new file mode 100644
index 0000000000..1e2c236622
--- /dev/null
+++ b/mach/mc6800/cg/mach.h
@@ -0,0 +1,42 @@
+/*
+ * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
+ * See the copyright notice in the ACK home directory, in the file "Copyright".
+ */
+/* $Id$ */
+
+#include "tables.h"
+#include "types.h"
+
+#define ex_ap(y)        fprintf(codefile,".extern %s !ex_ap\n",y)
+#define in_ap(y)        fprintf(codefile,"!in_ap %s\n",y)
+
+#define newilb(x)       fprintf(codefile,"%s: !newilb\n",x)
+#define newdlb(x)       fprintf(codefile,"%s: !newdlb\n",x)
+#define dlbdlb(x,y)     fprintf(codefile,"%s = %s !dldlib\n",x,y)
+#define newlbss(l,x)    fprintf(codefile,".comm %s,%u !newlbss\n",l,x);
+
+#define cst_fmt         "%d"
+#define off_fmt         "%d"
+#define ilb_fmt         "I%x_%x"
+#define dlb_fmt         "I_%d"
+#define hol_fmt         "hol%d"
+
+#define hol_off         "%ld+hol%d"
+
+#define con_cst(x)      fprintf(codefile,".data2\t%ld\n",x)
+#define con_ilb(x)      fprintf(codefile,".data2\t%s\n",x)
+#define con_dlb(x)      fprintf(codefile,".data2\t%s\n",x)
+
+#define modhead         ".sect .zero\n.sect .text\n.sect .rom\n.sect .data\n.sect .bss\n"
+
+#define fmt_id(ft, fs)	sprintf(fs,"_%s",ft)
+
+#define BSS_INIT        0
+
+void con_float(void);
+void con_mult(word sz);
+void con_part(int sz, word w);
+void mes(word type);
+void prolog(full nlocals);
+
+#define	DEBUG	1
diff --git a/mach/mc6800/cg/table b/mach/mc6800/cg/table
new file mode 100644
index 0000000000..388aa42971
--- /dev/null
+++ b/mach/mc6800/cg/table
@@ -0,0 +1,3365 @@
+"$Id$"
+#define em_bsize	4	/* must be equal to EM_BSIZE */
+#define	ND	!defined($1)
+#define	D	defined($1)
+#define	BASE	240
+#define MIN	(0-BASE)
+#define MAX	(254-em_bsize-BASE)
+#define IN(x)	(x>=MIN && x<=(MAX-2))
+#define INP(x)	(x>=0 && x<=(254-em_bsize))
+
+
+/*
+ * 6800 code generator
+ *
+ * EM_WSIZE: machine word (16bit)
+ * EM_PSIZE: pointer size (16bit)
+ * EM_BSIZE: Number of bytes in the hole between AB and LB.
+ *           AB: Argment base, LB:Local Base
+ */
+
+EM_WSIZE = 2
+EM_PSIZE = 2
+EM_BSIZE = 4
+
+REGISTERS:
+AA = ("a",1), REG.
+BB = ("b",1), R8.
+XX = ("x",2), X16.
+AB = ("<dummy>",2,AA,BB), R16.
+
+/* AB is a registerpair, A contains the highbyte of a word and
+ * B contains the lowbyte
+ */
+
+
+TOKENS:
+IMMEDIATE 	= {INT off;} 1  "#%[off]" /* a fake token the
+					   * cgg needs one
+					   */
+LOCAL_ADDR	= {INT off; } 1 "%[off],x"
+EXTENDED_ADDR	= {INT off; } 2 "%[off]"
+
+TOKENEXPRESSIONS:
+AAA = IMMEDIATE		/* a fake tokenexpression
+			 * the cgg needs one
+			 */
+
+
+/*
+ * EM pattern '|' stack pattern '|' code '|'
+ *   stack replacement '|' EM replacement '|'
+ */
+
+CODE:
+
+/* GROUP 1 - LOAD */
+
+/* loc: load 16bit constant */
+
+loc $1==0	| |
+		allocate(R16)
+		"! loc 0"
+		"\tclrb"
+		"\tclra"
+					| %[a] | |
+loc $1!=0 && ($1>>8)==0	| |
+		allocate(R16)
+		"! loc ($1>>8)==0"
+		"\tldab #[$1].l"
+		"\tclra"
+					| %[a] | |
+loc $1!=0 && ($1%256)==0	| |
+		allocate(R16)
+		"! loc ($1 mod 256)==0"
+		"\tclrb"
+		"\tldaa #[$1].h"
+					| %[a] | |
+loc $1!=0 && ($1%256)==($1>>8)	| |
+		allocate(R16)
+		"! loc high==low"
+		"\tldab #[$1].l"
+		"\ttba"
+					| %[a] | |
+loc 	 | |
+		allocate(R16)
+		"! loc $1"
+		"\tldab #[$1].l"
+		"\tldaa #[$1].h"
+					| %[a] | |
+
+/* ldc: load 32bit constant */
+
+ldc highw(1)==0 && loww(1)==0 | |
+		allocate(R16)
+		"! ldc $1==0"
+		"\tclrb"
+		"\tclra"
+		"\tpshb"
+		"\tpsha"
+					| %[a] | |
+
+ldc highw(1)==loww(1) && (loww(1)%256)==(loww(1)>>8) | |
+		allocate(R16)
+		"! ldc $1"
+		"\tldab #[%(loww(1)%)].l"
+		"\ttba"
+		"\tpshb"
+		"\tpsha"
+					| %[a] | |
+ldc	 | |
+		allocate(R16)
+		"! ldc $1"
+		"\tldab #[%(loww(1)%)].l"
+		"\tldaa #[%(loww(1)%)].h"
+		"\tpshb"
+		"\tpsha"
+		"\tldab #[%(highw(1)%)].l"
+		"\tldaa #[%(highw(1)%)].h"
+					| %[a] | |
+/* lol: load local var or arg, $1==offset*/
+lol sti IN($1) && $2==1 | R16 |
+		"! lol sti IN($1) && $2==1"
+		"\tldx <LBl"
+		"\tldx BASE+$1+0,x"
+		"\tstab 0,x"
+					| | |
+lol sti IN($1) && $2==2 | R16 |
+		"! lol sti IN($1) && $2==2"
+		"\tldx <LBl"
+		"\tldx BASE+$1+0,x"
+		"\tstab 1,x"
+		"\tstaa 0,x"
+					| | |
+lol IN($1)	| |
+		allocate(R16)
+		"! lol IN($1)"
+		"\tldx <LBl"
+		"\tldab BASE+$1+1,x"
+		"\tldaa BASE+$1+0,x"
+					| %[a] | |
+lol INP($1)	| |
+		allocate(R16)
+		"! lol INP($1)"
+		"\tldx <LB"
+		"\tldab $1+1,x"
+		"\tldaa $1+0,x"
+					| %[a] | |
+lol 	| |
+		allocate(R16)
+		"! lol $1 !IN"
+		"\tldab #[$1].l"
+		"\tldaa #[$1].h"
+		"\taddb <LB+1"
+		"\tadca <LB"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tldab 1,x"
+		"\tldaa 0,x"
+					| %[a] | |
+
+/* loe: load from external address */
+loe	| |
+		allocate(R16)
+		"! loe $1"
+		"\tldab $1+1"
+		"\tldaa $1"
+					| %[a] | |
+loe sti $2==2 | R16 |
+		"! loe sti $2==2"
+		"\tldx $1"
+		"\tstab 1,x"
+		"\tstaa 0,x"
+					| | |
+lil IN($1)	| |
+		allocate(R16)
+		"! lil IN($1)"
+		"\tldx <LBl"
+		"\tldx BASE+$1,x"
+		"\tldab 1,x"
+		"\tldaa 0,x"
+					| %[a] | |
+lil 	| |
+		allocate(R16)
+		"! lil $1 !IN"
+		"\tldab #[$1].l"
+		"\tldaa #[$1].h"
+		"\taddb <LB+1"
+		"\tadca <LB"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tldx 0,x"
+		"\tldab 1,x"
+		"\tldaa 0,x"
+					| %[a] | |
+
+/* lof: load from address : AB=(AB) */
+
+lof $1==0	| R16 |
+		"! lof $1"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tldab 1,x"
+		"\tldaa 0,x"
+					| %[1] | |
+lof    | R16 |
+		"! lof $1"
+		"\taddb #[$1].l"
+		"\tadca #[$1].h"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tldab 1,x"
+		"\tldaa 0,x"
+					| %[1] | |
+
+/* lal: load address local */
+lal sti lal loi IN($1) && $1==$3 && $2==1 && $4==1 | R16 |
+		"! lal sti lal loi IN($1) && $1==$3 && $2==1 && $4==1"
+		"\tldx <LBl"
+		"\tstab BASE+$1,x"
+		"\tclra"
+					| %[1] | |
+lal sti lal loi IN($1) && $1==$3 && $2==2 && $4==2 | R16 |
+		"! lal sti lal loi IN($1) && $1==$3 && $2==2 && $4==2"
+		"\tldx <LBl"
+		"\tstab BASE+$1+1,x"
+		"\tstaa BASE+$1+0,x"
+					| %[1] | |
+lal sti IN($1) && $2==1 | R16 |
+		"! lal sti IN($1) && $2==1"
+		"\tldx <LBl"
+		"\tstab BASE+$1,x"
+					| | |
+lal sti IN($1) && $2==2 | R16 |
+		"! lal sti IN($1) && $2==2"
+		"\tldx <LBl"
+		"\tstab BASE+$1+1,x"
+		"\tstaa BASE+$1+0,x"
+					| | |
+lal loi IN($1) && $2==1 | |
+		allocate(R16)
+		"! lal loi IN($1) && $2==1"
+		"\tldx <LBl"
+		"\tldab BASE+$1,x"
+		"\tclra"
+					| %[a] | |
+lal loi IN($1) && $2==2 | |
+		allocate(R16)
+		"! lal loi IN($1) && $2==2"
+		"\tldx <LBl"
+		"\tldab BASE+$1+1,x"
+		"\tldaa BASE+$1+0,x"
+					| %[a]| |
+lal	| |
+		allocate(R16)
+		"! lal $1"
+		"\tldab #[$1].l"
+		"\tldaa #[$1].h"
+		"\taddb <LB+1"
+		"\tadca <LB"
+					| %[a] | |
+
+/* lae: load address external */
+lae sti $2==1 | R16 |
+		"! lae sti $2"
+		"\tstab $1"
+					| | |
+lae sti $2==2 | R16 |
+		"! lae sti $2"
+		"\tstab $1+1"
+		"\tstaa $1+0"
+					| | |
+lae stl IN($2) | |
+		allocate(R16)
+		"! lae stl IN($2)"
+		"\tldx #$1"
+		"\tjsr TfrXD"
+		"\tldx <LBl"
+		"\tstab BASE+$2+1,x"
+		"\tstaa BASE+$2+0,x"
+					| | |
+lae 	| |
+		allocate(R16)
+		"! lae $1"
+		"\tldx #$1"
+		"\tjsr TfrXD"
+					| %[a] | |
+
+/* lxl: load local base  n (255 => n > 0) static levels back.*/
+
+lxl $1==0	| |
+		allocate(R16)
+		"! lxl $1"
+		"\tldab <LB+1"
+		"\tldaa <LB"
+					| %[a] | |
+lxl $1<=255	| |		/* n restricted to a max of 255 */
+		allocate(R16)
+		"! lxl $1"
+		"\tldab #[$1].l"
+		"\tjsr Lxl"
+					| %[a] | |
+
+/* lxl: load argument base  n (255 => n > 0) static levels back.*/
+
+lxa $1==0	| |
+		allocate(R16)
+		"! lxa $1"
+		"\tldab <LB+1"
+		"\tldaa <LB"
+		"\taddb #EM_BSIZE"
+		"\tadca #0"
+					| %[a] | |
+lxa $1<=255	| |		/* n restricted to a max of 255 */
+		allocate(R16)
+		"! lxa $1"
+		"\tldab #[$1].l"
+		"\tjsr Lxa2"
+					| %[a] | |
+
+/* load indirect, $1==size */
+
+lol loi IN($1) && $2==1 | |
+		allocate(R16)
+		"! lol loi IN($1) $2"
+		"\tldx <LBl"
+		"\tldx BASE+$1,x"
+		"\tldab 0,x"
+		"\tclra"
+					| %[a] | |
+loi $1==1	| R16 |
+		"! loi $1"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tldab 0,x"
+		"\tclra"
+					| %[1] | |
+lae loi $2==2 | |
+		allocate(R16)
+		"! lae loi $1==2"
+		"\tldab $1+1"
+		"\tldaa $1+0"
+					| %[a] | |
+loi $1==2	| R16 |
+		"! loi $1"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tldab 1,x"
+		"\tldaa 0,x"
+					| %[1] | |
+lae loi $2==4 | |
+		allocate(R16)
+		"! lae loi $1==4"
+		"\tldab $1+3"
+		"\tldaa $1+2"
+		"\tpshb"
+		"\tpsha"
+		"\tldab $1+1"
+		"\tldaa $1+0"
+					| %[a] | |
+loi $1==4	| R16 |
+		"! loi $1"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tldab 3,x"
+		"\tldaa 2,x"
+		"\tpshb"
+		"\tpsha"
+		"\tldab 1,x"
+		"\tldaa 0,x"
+		"\tpshb"
+		"\tpsha"
+					| | |
+loi 		| R16 |
+		"! loi $1"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx #$1"
+		"\tstx <TMP2"
+		"\taddb <TMP2+1"
+		"\tadca <TMP2"
+		"\tstab <TMP2+1"
+		"\tstaa <TMP2"
+		"\tldx <TMP2"
+		"1:"
+		"\tdex"
+		"\tldab 0,x"
+		"\tpshb"
+		"\tcpx <TMP"
+		"\tbne 1b"
+					| | |
+/* load from stack top, size==AccAB */
+
+los $1==2	| R16 |
+		"! los $1"
+		"\tldx 0,x"
+		"\tins"
+		"\tins"
+		"\tstx <TMP"
+		"\taddb <TMP+1"
+		"\tadca <TMP"
+		"\tstab <TMP2+1"
+		"\tstaa <TMP2"
+		"\tldx <TMP2"
+		"1:"
+		"\tdex"
+		"\tldab 0,x"
+		"\tpshb"
+		"\tcpx <TMP"
+		"\tbne 1b"
+					| | |
+
+ldl IN($1)	| |
+		allocate(R16)
+		"! ldl IN($1)"
+		"\tldx <LBl"
+		"\tldab BASE+$1+3,x"
+		"\tldaa BASE+$1+2,x"
+		"\tpshb"
+		"\tpsha"
+		"\tldab BASE+$1+1,x"
+		"\tldaa BASE+$1+0,x"
+					| %[a] | |
+ldl	| |
+		allocate(R16)
+		"! ldl $1"
+		"\tldab <LB+1"
+		"\tldaa <LB"
+		"\taddb #[$1].l"
+		"\tadca #[$1].h"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tldab 3,x"
+		"\tldaa 2,x"
+		"\tpshb"
+		"\tpsha"
+		"\tldab 1,x"
+		"\tldaa 0,x"
+					| %[a] | |
+lde	| |
+		allocate(R16)
+		"! lde $1"
+		"\tldab $1+3"
+		"\tldaa $1+2"
+		"\tpshb"
+		"\tpsha"
+		"\tldab $1+1"
+		"\tldaa $1"
+					| %[a] | |
+ldf INP($1)	| |
+		allocate(R16)
+		"! ldf INP($1)"
+		"\ttsx"
+		"\tldx 0,x"
+		"\tins"
+		"\tins"
+		"\tldab $1+3,x"
+		"\tldaa $1+2,x"
+		"\tpshb"
+		"\tpsha"
+		"\tldab $1+1,x"
+		"\tldaa $1+0,x"
+					| %[a] | |
+ldf	| R16 |
+		"! ldf $1"
+		"\taddb #[$1].l"
+		"\tadca #[$1].h"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tldab 3,x"
+		"\tldaa 2,x"
+		"\tpshb"
+		"\tpsha"
+		"\tldab 1,x"
+		"\tldaa 0,x"
+					| %[1] | |
+
+/* lpi: load pointer immdiate */
+lpi 	| |
+		allocate(R16)
+		"! lpi $1"
+		"\tldx #$1"
+		"\tstx <TMP"
+		"\tldab <TMP+1"
+		"\tldaa <TMP"
+					| %[a] | |
+
+
+/* GROUP 2 - STORE */
+dup stl $1==2 && IN($2) | R16 |
+		"! dup stl $1==2 && IN($2)"
+		"\tldx <LBl"
+                "\tstab BASE+$2+1,x"
+                "\tstaa BASE+$2+0,x"
+					| %[1] | |
+stl IN($1)	| R16 |
+		"! stl IN($1)"
+		"\tldx <LBl"
+                "\tstab BASE+$1+1,x"
+                "\tstaa BASE+$1+0,x"
+					| | |
+stl	| |
+		allocate(R16)
+		"! stl $1 !IN"
+		"\tldab #[$1].l"
+		"\tldaa #[$1].h"
+		"\taddb <LB+1"
+		"\tadca <LB"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tpula"
+		"\tpulb"
+		"\tstab 1,x"
+		"\tstaa 0,x"
+					| | |
+stl lol IN($1) && $1==$2 | R16 |
+		"! stl lol IN($1) && $1==$2"
+		"\tldx <LBl"
+                "\tstab BASE+$1+1,x"
+                "\tstaa BASE+$1+0,x"
+					| %[1] | |
+dup ste $1==2 | R16 |
+		"! dup ste $1==2"
+		"\tstab $2+1"
+		"\tstaa $2"
+					| %[1] | |
+ste	| R16 |
+		"! ste $1"
+		"\tstab $1+1"
+		"\tstaa $1"
+					| | |
+dup sil $1==2 && IN($2)		| R16 |
+		"! dup sil IN($1)"
+		"\tldx <LBl"
+		"\tldx BASE+$2,x"
+		"\tstab 1,x"
+		"\tstaa 0,x"
+					| %[1] | |
+sil IN($1)	| R16 |
+		"! sil IN($1)"
+		"\tldx <LBl"
+		"\tldx BASE+$1,x"
+		"\tstab 1,x"
+		"\tstaa 0,x"
+					| | |
+sil	| |
+		allocate(R16)
+		"! sil $1"
+		"\tldab <LBl+1"
+		"\tldaa <LBl"
+		"\taddb #BASE+$1"
+		"\tadca #0"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tpula"
+		"\tpulb"
+		"\tstab 1,x"
+		"\tstaa 0,x"
+					| | |
+stf $1==0	| R16 |
+		"! stf $1"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tpula"
+		"\tpulb"
+		"\tstab 1,x"
+		"\tstaa 0,x"
+					| | |
+stf	| |
+		allocate(R16)
+		"! stf $1"
+		"\tpula"
+		"\tpulb"
+		"\taddb #[$1].l"
+		"\tadca #[$1].h"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tpula"
+		"\tpulb"
+		"\tstab 1,x"
+		"\tstaa 0,x"
+					| | |
+sti $1==1	| R16 |
+		"! sti $1"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tpula"
+		"\tpulb"
+		"\tstab 0,x"
+					| | |
+sti $1==2	| R16 |
+		"! sti $1"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tpula"
+		"\tpulb"
+		"\tstab 1,x"
+		"\tstaa 0,x"
+					| | |
+sti $1==4	| R16 |
+		"! sti $1"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tpula"
+		"\tpulb"
+		"\tstab 1,x"
+		"\tstaa 0,x"
+		"\tpula"
+		"\tpulb"
+		"\tstab 3,x"
+		"\tstaa 2,x"
+					| | |
+/* TODO: pulb -> pula/pulb */
+
+sti 	| R16 |
+		"! sti $1"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx #$1"
+		"\tstx <TMP2"
+		"\taddb <TMP2+1"
+		"\tadca <TMP2"
+		"\tstab <TMP2+1"
+		"\tstaa <TMP2"
+		"\tldx <TMP"
+		"1:"
+		"\tpulb"
+		"\tstab 0,x"
+		"\tinx"
+		"\tcpx <TMP2"
+		"\tbne 1b"
+					| | |
+/* TODO: */
+sts $1==2	| R16 |
+		"\tjsr Sts"
+					| | |
+sdl IN($1)	| R16 |
+		"! sdl IN($1)"
+		"\tldx <LBl"
+		"\tstab BASE+$1+1,x"
+		"\tstaa BASE+$1+0,x"
+		"\tpula"
+		"\tpulb"
+		"\tstab BASE+$1+3,x"
+		"\tstaa BASE+$1+2,x"
+					| | |
+sdl	| |
+		allocate(R16)
+		"! sdl $1"
+		"\tldab #[$1].l"
+		"\tldaa #[$1].h"
+		"\taddb <LB+1"
+		"\tadca <LB"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tpula"
+		"\tpulb"
+		"\tstab 1,x"
+		"\tstaa 0,x"
+		"\tpula"
+		"\tpulb"
+		"\tstab 3,x"
+		"\tstaa 2,x"
+					| | |
+sde	| R16 |
+		"! sde $1"
+		"\tstab $1+1"
+		"\tstaa $1"
+		"\tpula"
+		"\tpulb"
+		"\tstab $1+3"
+		"\tstaa $1+2"
+					| | |
+sdf $1==0	| R16 |
+		"! sdf $1"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tpula"
+		"\tpulb"
+		"\tstab 1,x"
+		"\tstaa 0,x"
+		"\tpula"
+		"\tpulb"
+		"\tstab 3,x"
+		"\tstaa 2,x"
+					| | |
+sdf	| |
+		allocate(R16)
+		"! sdf $1"
+		"\ttsx"
+		"\taddb 1,x"
+		"\tadca 0,x"
+		"\tins"
+		"\tins"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tpula"
+		"\tpulb"
+		"\tstab 1,x"
+		"\tstaa 0,x"
+		"\tpula"
+		"\tpulb"
+		"\tstab 3,x"
+		"\tstaa 2,x"
+					| | |
+
+/* GROUP 3 - INTEGER ARITHMETIC */
+lol loc sli ads IN($1) && $2==1 && $3==2 && $4==2	| R16 |
+		"! lol loc sli ads IN($1) && $2==1 && $3==2 && $4==2"
+		"\tldx <LBl"
+		"\taddb BASE+$1+1,x"
+		"\tadca BASE+$1+0,x"
+		"\taddb BASE+$1+1,x"
+		"\tadca BASE+$1+0,x"
+						| %[1] | |
+lol loc adi stl IN($1) && IN($4) && $3==2	| |
+		"! lol loc adi stl IN($1) && IN($4) && $3==2"
+		"\tldx <LBl"
+		"\tldab BASE+$1+1,x"
+		"\tldaa BASE+$1+0,x"
+		"\taddb #[$2].l"
+		"\tadca #[$2].h"
+		"\tstab BASE+$4+1,x"
+		"\tstaa BASE+$4+0,x"
+					| | |
+loc lol adi stl IN($2) && IN($4) && $3==2	| |
+		allocate(R16)
+		"! loc lol adi stl IN($2) && IN($4) && $3==2"
+		"\tldx <LBl"
+		"\tldab BASE+$2+1,x"
+		"\tldaa BASE+$2+0,x"
+		"\taddb #[$1].l"
+		"\tadca #[$1].h"
+		"\tstab BASE+$4+1,x"
+		"\tstaa BASE+$4+0,x"
+					| | |
+lol loc adi stl	| | | | loc $2 lol $1 adi $3 stl $4 |
+loc lol adi (IN($2) && $3==2)	| |
+		allocate(R16)
+		"! loc lol adi (IN($2) && $3==2)"
+		"\tldx <LBl"
+		"\tldab #[$1].l"
+		"\tldaa #[$1].h"
+		"\taddb BASE+$2+1,x"
+		"\tadca BASE+$2+0,x"
+					| %[a] | |
+lol loc adi	| | | | loc $2 lol $1 adi $3 |
+lol lol adi (IN($1) && IN($2) && $3==2) | |
+		allocate(R16)
+		"! lol lol adi lol lol adi IN($1) IN($2) $3"
+		"\tldx <LBl"
+		"\tldab BASE+$1+1,x"
+		"\tldaa BASE+$1+0,x"
+		"\taddb BASE+$2+1,x"
+		"\tadca BASE+$2+0,x"
+					| %[a] | |
+lol loe adi (IN($1) && $3==2) | |
+		allocate(R16)
+		"! lol lol adi Pattern.2"
+		"\tldx <LBl"
+		"\tldab BASE+$1+1,x"
+		"\tldaa BASE+$1+0,x"
+		"\taddb $2+1"
+		"\tadca $2"
+					| %[a] | |
+loe lol adi	| | | | lol $2 loe $1 adi $3 |
+loe loe adi $3==2	| |
+		allocate(R16)
+		"! loe loe adi $3"
+		"\tldab $1+1"
+		"\tldaa $1"
+		"\taddb $2+1"
+		"\tadca $2"
+					| %[a] | |
+loc loe adi $3==2	| |
+		allocate(R16)
+		"! loc loe adi $3"
+		"\tldab #[$1].l"
+		"\tldaa #[$1].h"
+		"\taddb $2+1"
+		"\tadca $2"
+					| %[a] | |
+loe loc adi 	| | | | loc $2 loe $1 adi $3 |
+ldl adi IN($1) && $2==2	| |
+		allocate(R16)
+		"! ldl adi IN($1) $2"
+		"\tldx <LBl"
+		"\tldab BASE+$1+1,x"
+		"\tldaa BASE+$1+0,x"
+		"\taddb BASE+$1+3,x"
+		"\tadca BASE+$1+2,x"
+					| %[a] | |
+lde adi $2==2	| |
+		allocate(R16)
+		"! lde adi $2"
+		"\tldab $1+1"
+		"\tldaa $1+0"
+		"\taddb $1+3"
+		"\tadca $1+2"
+					| %[a] | |
+loc adi $2==2 | R16 |
+		"! loc adi $2==$2"
+		"\taddb #[$1].l"
+		"\tadca #[$1].h"
+					| %[1] | |
+lol adi IN($1) && $2==2 | R16 |
+		"! lol adi IN($1) $2"
+		"\tldx <LBl"
+		"\taddb BASE+$1+1,x"
+		"\tadca BASE+$1+0,x"
+					| %[1] | |
+loe adi $2==2	| R16 |
+		"! loe adi $2==2"
+		"\taddb $1+1"
+		"\tadca $1"
+					| %[1] | |
+lol lol adi IN($1) && !IN($2) && $3==2
+		| | | | lol $2 lol $1 adi $3 |
+adi $1==2	| R16 |
+		"! adi $1"
+		"\ttsx"
+		"\taddb 1,x"
+		"\tadca 0,x"
+		"\tins"
+		"\tins"
+					| %[1] | |
+adi $1==4	| |
+		allocate(R16)
+		"! adi $1"
+		"\ttsx"
+		"\tldab 7,x"
+		"\tldaa 6,x"
+		"\taddb 3,x"
+		"\tadca 2,x"
+		"\tstab 7,x"
+		"\tstaa 6,x"
+		"\tldab 5,x"
+		"\tldaa 4,x"
+		"\tadcb 1,x"
+		"\tadca 0,x"
+		"\tstab 5,x"
+		"\tstaa 4,x"
+		"\tins"
+		"\tins"
+		"\tins"
+		"\tins"
+					| | |
+adi ND	| R16 |
+		"! adi ND"
+		"\ttsta"
+		"\tbeq 1f"
+		"\tcmpb #2"
+		"\tbeq 1f"
+		"\tjsr Trap"
+		"1:"
+		"\tpula"
+		"\tpulb"
+		"\ttsx"
+		"\taddb 1,x"
+		"\tadca 0,x"
+		"\tins"
+		"\tins"
+					| %[1] | |
+loc lol sbi (IN($2) && $3==2)	| |
+		allocate(R16)
+		"! loc lol sbi IN($2) $3"
+		"\tldx <LBl"
+		"\tldab #[$1].l"
+		"\tldaa #[$1].h"
+		"\tsubb BASE+$2+1,x"
+		"\tsbca BASE+$2+0,x"
+ 					| %[a] | |
+lol loc sbi	| | | | lol $1 loc 0-$2 adi $3 |
+lol lol sbi (IN($1) && IN($2) && $3==2) | |
+		allocate(R16)
+		"! loc lol sbi IN($1) IN($2) $3"
+		"\tldx <LBl"
+		"\tldab BASE+$1+1,x"
+		"\tldaa BASE+$1+0,x"
+		"\tsubb BASE+$2+1,x"
+		"\tsbca BASE+$2+0,x"
+					| %[a] | |
+lol loe sbi (IN($1) && $3==2) | |
+		allocate(R16)
+		"! lol loe sbi IN($1) $3"
+		"\tldx <LBl"
+		"\tldab BASE+$1+1,x"
+		"\tldaa BASE+$1+0,x"
+		"\tsubb $2+1"
+		"\tsbca $2"
+					| %[a] | |
+loe lol sbi (IN($2) && $3==2) | |
+		allocate(R16)
+		"! loe lol sbi IN($2) $3"
+		"\tldx <LBl"
+		"\tldab $1+1"
+		"\tldaa $1"
+		"\tsubb BASE+$2+1,x"
+		"\tsbca BASE+$2+0,x"
+					| %[a] | |
+loe loe sbi $3==2	| |
+		allocate(R16)
+		"! loe loe sbi $3"
+		"\tldab $1+1"
+		"\tldaa $1"
+		"\tsubb $2+1"
+		"\tsbca $2"
+					| %[a] | |
+loc loe sbi $3==2	| |
+		allocate(R16)
+		"! loc loe sbi $3"
+		"\tldab #[$1].l"
+		"\tldaa #[$1].h"
+		"\tsubb $2+1"
+		"\tsbca $2"
+					| %[a] | |
+loe loc sbi 	| | | | loe $1 loc 0-$2 adi $3 |
+ldl sbi IN($1) && $2==2	| |
+		allocate(R16)
+		"! ldl sbi IN($1) $2"
+		"\tldx <LBl"
+		"\tldab BASE+$1+3,x"
+		"\tldaa BASE+$1+2,x"
+		"\tsubb BASE+$1+1,x"
+		"\tsbca BASE+$1+0,x"
+					| %[a] | |
+lde sbi $2==2	| |
+		allocate(R16)
+		"! lde sbi $2"
+		"\tldab $1+3"
+		"\tldaa $1+2"
+		"\tsubb $1+1"
+		"\tsbca $1+0"
+					| %[a] | |
+loc sbi $2==2	| R16 |
+		"! loc sbi $2"
+		"\tsubb #[$1].l"
+		"\tsbca #[$1].h"
+					| %[1] | |
+lol sbi IN($1) && $2==2 | R16 |
+		"! lol sbi IN($1) $2"
+		"\tldx <LBl"
+		"\tsubb BASE+$1+1,x"
+		"\tsbca BASE+$1+0,x"
+					| %[1] | |
+loe sbi $2==2 | R16 |
+		"! loe sbi $2"
+		"\tsubb $1+1"
+		"\tsbca $1"
+					| %[1] | |
+sbi $1==2	| R16 |
+		"! sbi $1"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tpula"
+		"\tpulb"
+		"\tsubb <TMP+1"
+		"\tsbca <TMP"
+					| %[1] | |
+sbi $1==4	| |
+		allocate(R16)
+		"! sbi $1"
+		"\ttsx"
+		"\tldab 7,x"
+		"\tldaa 6,x"
+		"\tsubb 3,x"
+		"\tsbca 2,x"
+		"\tstab 7,x"
+		"\tstaa 6,x"
+		"\tldab 5,x"
+		"\tldaa 4,x"
+		"\tsbcb 1,x"
+		"\tsbca 0,x"
+		"\tstab 5,x"
+		"\tstaa 4,x"
+		"\tins"
+		"\tins"
+		"\tins"
+		"\tins"
+					| | |
+sbi ND	| R16 |
+		"! sbi ND"
+		"\ttsta"
+		"\tbeq 1f"
+		"\tcmpb #2"
+		"\tbeq 1f"
+		"\tjsr Trap"
+		"1:"
+		"\ttsx"
+		"\tldab 3,x"
+		"\tldaa 2,x"
+		"\tsubb 1,x"
+		"\tsbca 0,x"
+		"\tins"
+		"\tins"
+		"\tins"
+		"\tins"
+					| %[1] | |
+loc lol mli (IN($2) && $3==2)	| |
+		allocate(R16)
+		"! loc lol mli IN($2) $3"
+		"\tldx <LBl"
+		"\tldab BASE+$2+1,x"
+		"\tldaa BASE+$2+0,x"
+		"\tldx #$1"
+		"\tjsr Mlix"
+ 					| %[a] | |
+lol loc mli	| | | | loc $2 lol $1 mli $3 |
+lol lol mli (IN($1) && IN($2) && $3==2) | |
+		allocate(R16)
+		"! lol lol mli IN($1) IN($2) $3"
+		"\tldx <LBl"
+		"\tldab BASE+$2+1,x"
+		"\tldaa BASE+$2+0,x"
+		"\tldx BASE+$1+0,x"
+		"\tjsr Mlix"
+					| %[a] | |
+lol loe mli (IN($1) && $3==2) | |
+		allocate(R16)
+		"! lol loe mli IN($1) && $3"
+		"\tldx <LBl"
+		"\tldab BASE+$1+1,x"
+		"\tldaa BASE+$1+0,x"
+		"\tldx $2"
+		"\tjsr Mlix"
+					| %[a] | |
+loe lol mli (IN($2) && $3==2) | | | | lol $2 loe $1 mli $3 |
+loe loe mli $3==2	| |
+		allocate(R16)
+		"! loe loe mli $3"
+		"\tldab $2+1"
+		"\tldaa $2"
+		"\tldx $1"
+		"\tjsr Mlix"
+					| %[a] | |
+loc loe mli $3==2	| |
+		allocate(R16)
+		"! loc loe mli $3"
+		"\tldx #$1"
+		"\tldab $2+1"
+		"\tldaa $2"
+		"\tjsr Mlix"
+					| %[a] | |
+loe loc mli 	| | | | loc $2 loe $1 mli $3 |
+ldl mli IN($1) && $2==2	| |
+		allocate(R16)
+		"! ldl mli IN($1) $2"
+		"\tldx <LBl"
+		"\tldab BASE+$1+3,x"
+		"\tldaa BASE+$1+2,x"
+		"\tldx  BASE+$1+0,x"
+		"\tjsr Mlix"
+					| %[a] | |
+lde mli $2==2	| |
+		allocate(R16)
+		"! lde mli $2"
+		"\tldx $1"
+		"\tldab $1+3"
+		"\tldaa $1+2"
+		"\tjsr Mlix"
+					| %[a] | |
+loc mli $1==3 && $2==2 | R16 |
+		"! loc mli $1==3 && $2==2"
+		"\tstab <ARTH+1"
+		"\tstaa <ARTH"
+		"\taslb"
+		"\trola"
+		"\taddb <ARTH+1"
+		"\tadca <ARTH"
+					| %[1] | |
+loc mli $2==2 | R16 |
+		"! loc mli $2==2"
+		"\tldx #$1"
+		"\tjsr Mlix"
+					| %[1] | |
+lol mli IN($1) && $2==2 | R16 |
+		"! lol mli IN($1) $2"
+		"\tldx <LBl"
+		"\tldx BASE+$1+0,x"
+		"\tjsr Mlix"
+					| %[1] | |
+loe mli $2==2	| R16 |
+		"! loe mli $2"
+		"\tldx $1"
+		"\tjsr Mlix"
+					| %[1] | |
+lol lol mli IN($1) && !IN($2) && $3==2
+		| | | | lol $2 lol $1 mli $3 |
+mli $1==2	| R16 |
+		"! mli $1"
+		"\tstab <ARTH+1"
+		"\tstaa <ARTH"
+		"\tpula"
+		"\tpulb"
+		"\tjsr Mli"
+					| %[1] | |
+mli $1==4	| |
+		allocate(R16)
+		"! mli $1"
+		"\tjsr Mli4"
+					| | |
+mli ND	| R16 |
+		"! mli ND"
+		"\ttsta"
+		"\tbeq 1f"
+		"\tcmpb #2"
+		"\tbeq 1f"
+		"\tjsr Trap"
+		"1:"
+		"\ttsx"
+		"\tldab 3,x"
+		"\tldaa 2,x"
+		"\tstab <ARTH+1"
+		"\tstaa <ARTH"
+		"\tpula"
+		"\tpulb"
+		"\tjsr Mli"
+					| %[1] | |
+loc lol dvi (IN($2) && $3==2)	| |
+		allocate(R16)
+		"! loc lol dvi IN($2) $3"
+		"\tldx <LBl"
+		"\tldx BASE+$2"
+		"\tstx <ARTH"
+		"\tldab #[$1].l"
+		"\tldaa #[$1].h"
+		"\tjsr Dvi"
+ 					| %[a] | |
+lol loc dvi (IN($1) && $2==2 && $3==2)	| |
+		allocate(R16)
+		"! lol loc dvi IN($1) & $2==2 && $3==2"
+		"\tldx <LBl"
+		"\tldab BASE+$1+1,x"
+		"\tldaa BASE+$1+0,x"
+		"\tbpl 1f"
+		"\taddb #1"
+		"\tadca #0"
+		"1:"
+		"\tasra"
+		"\trorb"
+ 					| %[a] | |
+lol loc dvi (IN($1) && $3==2)	| |
+		allocate(R16)
+		"! lol loc dvi IN($1) $3"
+		"\tldx #[$2]"
+		"\tstx <ARTH"
+		"\tldx <LBl"
+		"\tldab BASE+$1+1,x"
+		"\tldaa BASE+$1+0,x"
+		"\tjsr Dvi"
+ 					| %[a] | |
+lol lol dvi (IN($1) && IN($2) && $3==2) | |
+		allocate(R16)
+		"! lol lol dvi IN($1) IN($2) $3"
+		"\tldx <LBl"
+		"\tldx BASE+$2,x"
+		"\tstx <ARTH"
+		"\tldx <LBl"
+		"\tldab BASE+$1+1,x"
+		"\tldaa BASE+$1+0,x"
+		"\tjsr Dvi"
+					| %[a] | |
+lol loe dvi (IN($1) && $3==2) | |
+		allocate(R16)
+		"! lol loe dvi IN($1) $3"
+		"\tldx <LBl"
+		"\tldx BASE+$1,x"
+		"\tstx <ARTH"
+		"\tldab $2+1"
+		"\tldaa $2"
+		"\tjsr Dvi"
+					| %[a] | |
+loe lol dvi (IN($2) && $3==2) | |
+		allocate(R16)
+		"! loe lol dvi IN($2) $3"
+		"\tldx <LBl"
+		"\tldx BASE+$2,x"
+		"\tstx <ARTH"
+		"\tldab $1+1"
+		"\tldaa $1"
+		"\tjsr Dvi"
+					| %[a] | |
+loe loe dvi $3==2	| |
+		allocate(R16)
+		"! loe loe dvi $3"
+		"\tldx $2"
+		"\tstx <ARTH"
+		"\tldab $1+1"
+		"\tldaa $1"
+		"\tjsr Dvi"
+					| %[a] | |
+loc loe dvi $3==2	| |
+		allocate(R16)
+		"! loc loe dvi $3"
+		"\tldx #[$1]"
+		"\tstx <ARTH"
+		"\tldab $2+1"
+		"\tldaa $2"
+		"\tjsr Dvi"
+					| %[a] | |
+loe loc dvi $3==2	| |
+		allocate(R16)
+		"! loe loc dvi $3"
+		"\tldx #[$2]"
+		"\tstx <ARTH"
+		"\tldab $1+1"
+		"\tldaa $1"
+		"\tjsr Dvi"
+					| %[a] | |
+ldl dvi IN($1) && $2==2	| |
+		allocate(R16)
+		"! ldl dvi IN($1) $2"
+		"\tldx <LBl"
+		"\tldab BASE+$1+3,x"
+		"\tldaa BASE+$1+2,x"
+		"\tldx BASE+$1,x"
+		"\tstx <ARTH"
+		"\tjsr Dvi"
+					| %[a] | |
+lde dvi $2==2	| |
+		allocate(R16)
+		"! lde dvi $2"
+		"\tldx $1"
+		"\tstx <ARTH"
+		"\tldab $1+3"
+		"\tldaa $1+2"
+		"\tjsr Dvi"
+					| %[a] | |
+loc dvi $1==2 && $2==2 | R16 |
+		"! loc dvi $1==2 && $2==2"
+		"\ttsta"
+		"\tbpl 1f"
+		"\taddb #1"
+		"\tadca #0"
+		"1:"
+		"\tasra"
+		"\trorb"
+					| %[1] | |
+loc dvi $2==2 | R16 |
+		"! loc dvi $2"
+		"\tldx #[$1]"
+		"\tstx <ARTH"
+		"\tjsr Dvi"
+					| %[1] | |
+lol dvi IN($1) && $2==2 | R16 |
+		"! lol dvi IN($1) $2"
+		"\tldx <LBl"
+		"\tpshb"
+		"\tpsha"
+		"\tldab BASE+$1+1,x"
+		"\tldaa BASE+$1+0,x"
+		"\tstab <ARTH+1"
+		"\tstaa <ARTH"
+		"\tpula"
+		"\tpulb"
+		"\tjsr Dvi"
+					| %[1] | |
+loe dvi $2==2	| R16 |
+		"! loe dvi $2"
+		"\tpshb"
+		"\tpsha"
+		"\tldab $1+1,x"
+		"\tldaa $1+0,x"
+		"\tstab <ARTH+1"
+		"\tstaa <ARTH"
+		"\tpula"
+		"\tpulb"
+		"\tjsr Dvi"
+					| %[1] | |
+dvi $1==2	| R16 |
+		"! dvi $1==2"
+		"\tjsr Dvi2"
+					| %[1] | |
+dvi $1==4	| |
+		allocate(R16)
+		"! div $1==4"
+		"\tjsr Dvi4"
+					| | |
+
+dvi | R16 |
+		"! dvi"
+		"\ttsta"
+		"\tbeq 1f"
+		"\tcmpb #2"
+		"\tbeq 1f"
+		"\tjsr Trap"
+		"1:"
+		"\ttsx"
+		"\tldab 3,x"
+		"\tldaa 2,x"
+		"\tstab <ARTH+1"
+		"\tstaa <ARTH"
+		"\tpula"
+		"\tpulb"
+		"\tjsr Dvi2"
+					| %[1] | |
+
+rmi $1==2	| R16 |
+		"\tjsr Rmi2"
+					| %[1] | |
+rmi $1==4	| |
+		allocate(R16)
+		"\tjsr Rmi4"
+					| | |
+rmi ND	| R16 |
+		"\ttsta"
+		"\tbeq 1f"
+		"\tcmpb #2"
+		"\tbeq 1f"
+		"\tjsr Trap"
+		"1:"
+		"\tjsr Rmi2"
+					| %[1] | |
+ngi $1==2	| R16 |
+		"! ngi $1"
+		"\tnega"
+		"\tnegb"
+		"\tsbca #0"
+					| %[1] | |
+ngi $1==4	| R16 |
+		"! ngi $1"
+		"\ttsx"
+		"\tcoma"
+		"\tcomb"
+		"\tcom 0,x"
+		"\tneg 1,x"
+		"\tbne 9f"
+		"\tinc 0,x"
+		"\tbne 9f"
+		"\tincb"
+		"\tbne 9f"
+		"\tinca"
+		"9:"
+					| %[1] | |
+ngi ND	| R16 |
+		"! ngi ND"
+		"\ttsta"
+		"\tbeq 1f"
+		"\tcmpb #2"
+		"\tbeq 1f"
+		"\tjsr Trap"
+		"1:"
+		"\tjsr Ngi2"
+					| %[1] | |
+loc sli ($1==1 && $2==2)	| R16 |
+		"! loc sli $1 $2"
+		"\taslb"
+		"\trola"
+					| %[1] | |
+loc sli ($1==2 && $2==2)	| R16 |
+		"! loc sli $1 $2"
+		"\taslb"
+		"\trola"
+		"\taslb"
+		"\trola"
+					| %[1] | |
+loc sli ($1==3 && $2==2)	| R16 |
+		"! loc sli $1 $2"
+		"\taslb"
+		"\trola"
+		"\taslb"
+		"\trola"
+		"\taslb"
+		"\trola"
+					| %[1] | |
+sli $1==2	| R16 |
+		"! sli $1"
+		"\tjsr Sli2"
+					| %[1] | |
+sli $1==4	| R16 |
+		"! sli $1"
+		"\tjsr Sli4"
+					| | |
+sli ND	| R16 |
+		"! sli ND"
+		"\ttsta"
+		"\tbeq 1f"
+		"\tcmpb #2"
+		"\tbeq 1f"
+		"\tjsr Trap"
+		"1:"
+		"\tjsr Sli2"
+					| %[1] | |
+sri $1==2	| R16 |
+		"! sri $1"
+		"\tjsr Sri2"
+					| %[1] | |
+sri $1==4	| R16 |
+		"! sri $1"
+		"\tjsr Sri4"
+					| | |
+sri ND	| R16 |
+		"! sri ND"
+		"\ttsta"
+		"\tbeq 1f"
+		"\tcmpb #2"
+		"\tbeq 1f"
+		"\tjsr Trap"
+		"1:"
+		"\tjsr Sri2"
+					| %[1] | |
+
+
+/* GROUP 4 - UNSIGNED ARITHMETIC */
+
+loc lol adu	| | | | loc $1 lol $2 adi $3 |
+lol loc adu	| | | | lol $1 loc $2 adi $3 |
+lol lol adu	| | | | lol $1 lol $2 adi $3 |
+lol loe adu	| | | | lol $1 loe $2 adi $3 |
+loe lol adu	| | | | loe $1 lol $2 adi $3 |
+loe loe adu	| | | | loe $1 loe $2 adi $3 |
+loc loe adu	| | | | loc $1 loe $2 adi $3 |
+loe loc adu	| | | | loe $1 loc $2 adi $3 |
+ldl adu		| | | | ldl $1 adi $2 |
+lde adu		| | | | lde $1 adi $2 |
+loc adu		| | | | loc $1 adi $2 |
+lol adu		| | | | lol $1 adi $2 |
+loe adu		| | | | loe $1 adi $2 |
+adu		| | | | adi $1 |
+
+loc lol sbu	| | | | loc $1 lol $2 sbi $3 |
+lol loc sbu	| | | | lol $1 loc $2 sbi $3 |
+lol lol sbu	| | | | lol $1 lol $2 sbi $3 |
+lol loe sbu	| | | | lol $1 loe $2 sbi $3 |
+loe lol sbu	| | | | loe $1 lol $2 sbi $3 |
+loe loe sbu	| | | | loe $1 loe $2 sbi $3 |
+loc loe sbu	| | | | loc $1 loe $2 sbi $3 |
+loe loc sbu	| | | | loe $1 loc $2 sbi $3 |
+ldl sbu		| | | | ldl $1 sbi $2 |
+lde sbu		| | | | lde $1 sbi $2 |
+loc sbu		| | | | loc $1 sbi $2 |
+lol sbu		| | | | lol $1 sbi $2 |
+loe sbu		| | | | loe $1 sbi $2 |
+sbu		| | | | sbi $1 |
+
+loc lol mlu (IN($2) && $3==2)	| |
+		allocate(R16)
+		"\tldx <LBl"
+		"\tldab BASE+$2+1,x"
+		"\tldaa BASE+$2+0,x"
+		"\tldx #$1"
+		"\tjsr Mlux"
+ 					| %[a] | |
+lol loc mlu	| | | | loc $2 lol $1 mlu $3 |
+lol lol mlu (IN($1) && IN($2) && $3==2) | |
+		allocate(R16)
+		"\tldx <LBl"
+		"\tldab BASE+$2+1,x"
+		"\tldaa BASE+$2+0,x"
+		"\tldx BASE+$1+0,x"
+		"\tjsr Mlux"
+					| %[a] | |
+lol loe mlu (IN($1) && $3==2) | |
+		allocate(R16)
+		"\tldx <LBl"
+		"\tldx BASE+$1+0,x"
+		"\tldab $2+1"
+		"\tldaa $2"
+		"\tjsr Mlux"
+					| %[a] | |
+loe lol mlu (IN($2) && $3==2) | | | | lol $2 loe $1 mlu $3 |
+loe loe mlu $3==2	| |
+		allocate(R16)
+		"\tldx $1"
+		"\tldab $2+1"
+		"\tldaa $2"
+		"\tjsr Mlux"
+					| %[a] | |
+loc loe mlu $3==2	| |
+		allocate(R16)
+		"\tldx #$1"
+		"\tldab $1+1"
+		"\tldaa $1"
+		"\tjsr Mlux"
+					| %[a] | |
+loe loc mlu 	| | | | loc $2 loe $1 mlu $3 |
+ldl mlu IN($1) && $2==2	| |
+		allocate(R16)
+		"\tldx <LBl"
+		"\tldab BASE+$1+3,x"
+		"\tldaa BASE+$1+2,x"
+		"\tldx BASE+$1+0,x"
+		"\tjsr Mlux"
+					| %[a] | |
+lde mlu $2==2	| |
+		allocate(R16)
+		"\tldx $1"
+		"\tldab $1+3"
+		"\tldaa $1+2"
+		"\tjsr Mlux"
+					| %[a] | |
+loc mlu $2==2 | R16 |
+		"! loc mlu $2==2"
+		"\tldx #$1"
+		"\tjsr Mlux"
+					| %[1] | |
+lol mlu IN($1) && $2==2 | R16 |
+		"! lol mlu IN($1) $2==2"
+		"\tstab <ARTH+1"
+		"\tstaa <ARTH"
+		"\tldx <LBl"
+		"\tldx BASE+$1+0,x"
+		"\tjsr Mlux"
+					| %[1] | |
+loe mlu $2==2	| R16 |
+		"! loe mlu $2==2"
+		"\tldx $1"
+		"\tjsr Mlux"
+					| %[1] | |
+lol lol mlu IN($1) && !IN($2) && $3==2
+		| | | | lol $2 lol $1 mlu $3 |
+mlu $1==2	| R16 |
+		"! mlu $1==2"
+		"\tjsr Mlu2"
+					| %[1] | |
+mlu $1==4	| |
+		allocate(R16)
+		"! mlu $1==4"
+		"\tjsr Mlu4"
+					| | |
+mlu ND	| R16 |
+		"! mlu ND"
+		"\ttsta"
+		"\tbeq 1f"
+		"\tcmpb #2"
+		"\tbeq 1f"
+		"\tjsr Trap"
+		"1:"
+		"\tjsr Mlu2"
+					| %[1] | |
+
+loc lol dvu (IN($2) && $3==2)	| |
+		allocate(R16)
+		"! loc lol dvu IN($2) $3==2"
+		"\tldx <LBl"
+		"\tldab BASE+$2+1,x"
+		"\tldaa BASE+$2+0,x"
+		"\tstab <ARTH+1"
+		"\tstaa <ARTH"
+		"\tldab #[$1].l"
+		"\tldaa #[$1].h"
+		"\tjsr Dvu"
+ 					| %[a] | |
+lol loc dvu (IN($1) && $3==2)	| |
+		allocate(R16)
+		"! lol loc dvu (IN($1) && $3==2)"
+		"\tldab #[$2].l"
+		"\tldaa #[$2].h"
+		"\tstab <ARTH+1"
+		"\tstaa <ARTH"
+		"\tldx <LBl"
+		"\tldab BASE+$1+1,x"
+		"\tldaa BASE+$1+0,x"
+		"\tjsr Dvu"
+ 					| %[a] | |
+lol lol dvu (IN($1) && IN($2) && $3==2) | |
+		allocate(R16)
+		"! lol lol dvu (IN($1) && IN($2) && $3==2)"
+		"\tldx <LBl"
+		"\tldab BASE+$2+1,x"
+		"\tldaa BASE+$2+0,x"
+		"\tstab <ARTH+1"
+		"\tstaa <ARTH"
+		"\tldab BASE+$1+1,x"
+		"\tldaa BASE+$1+0,x"
+		"\tjsr Dvu"
+					| %[a] | |
+lol loe dvu (IN($1) && $3==2) | |
+		allocate(R16)
+		"! lol loe dvu (IN($1) && $3==2)"
+		"\tldx <LBl"
+		"\tldab BASE+$1+1,x"
+		"\tldaa BASE+$1+0,x"
+		"\tstab <ARTH+1"
+		"\tstaa <ARTH"
+		"\tldab $2+1"
+		"\tldaa $2"
+		"\tjsr Dvu"
+					| %[a] | |
+loe lol dvu (IN($2) && $3==2) | |
+		allocate(R16)
+		"! loe lol dvu (IN($2) && $3==2)"
+		"\tldx <LBl"
+		"\tldab BASE+$2+1,x"
+		"\tldaa BASE+$2+0,x"
+		"\tstab <ARTH+1"
+		"\tstaa <ARTH"
+		"\tldab $1+1"
+		"\tldaa $1"
+		"\tjsr Dvu"
+					| %[a] | |
+loe loe dvu $3==2	| |
+		allocate(R16)
+		"! loe loe dvu $3==2"
+		"\tldab $2+1"
+		"\tldaa $2"
+		"\tstab <ARTH+1"
+		"\tstaa <ARTH"
+		"\tldab $1+1"
+		"\tldaa $1"
+		"\tjsr Dvu"
+					| %[a] | |
+loc loe dvu $3==2	| |
+		allocate(R16)
+		"! loc loe dvu $3==2"
+		"\tlda $2"
+		"\tlda $2+1"
+		"\tstab <ARTH+1"
+		"\tstaa <ARTH"
+		"\tldab #[$1].l"
+		"\tldaa #[$1].h"
+		"\tjsr Dvu"
+					| %[a] | |
+loe loc dvu $3==2	| |
+		allocate(R16)
+		"! loe loc dvu $3==2"
+		"\tldab #[$2].l"
+		"\tldaa #[$2].h"
+		"\tstab <ARTH+1"
+		"\tstaa <ARTH"
+		"\tldab $1+1"
+		"\tldaa $1"
+		"\tjsr Dvu"
+					| %[a] | |
+ldl dvu IN($1) && $2==2	| |
+		allocate(R16)
+		"! ldl dvu IN($1) && $2==2"
+		"\tldx <LBl"
+		"\tldab BASE+$1+1,x"
+		"\tldaa BASE+$1+0,x"
+		"\tstab <ARTH+1"
+		"\tstaa <ARTH"
+		"\tldab BASE+$2+1,x"
+		"\tldaa BASE+$2+0,x"
+		"\tjsr Dvu"
+					| %[a] | |
+lde dvu $2==2	| |
+		allocate(R16)
+		"! lde dvu $2==2"
+		"\tldx $1+1"
+		"\tstx <ARTH"
+		"\tldab $1+3"
+		"\tldaa $1+2"
+		"\tjsr Dvu"
+					| %[a] | |
+loc dvu $2==2 | R16 |
+		"! loc dvu $2==2"
+		"\tldx #$1"
+		"\tstx <ARTH"
+		"\tjsr Dvu"
+					| %[1] | |
+lol dvu IN($1) && $2==2 | R16 |
+		"! lol dvu IN($1) && $2==2"
+		"\tldx <LBl"
+		"\tldx BASE+$1,x"
+		"\tstx <ARTH"
+		"\tjsr Dvu"
+					| %[1] | |
+loe dvu $2==2	| R16 |
+		"! loe dvu $2==2"
+		"\tldx $1"
+		"\tstx <ARTH"
+		"\tjsr Dvu"
+					| %[1] | |
+dvu $1==2	| R16 |
+		"! dvu $1==2"
+		"\tjsr Dvu2"
+					| %[1] | |
+dvu $1==4	| |
+		allocate(R16)
+		"! dvu $1==4"
+		"\tjsr Dvu4"
+					| | |
+dvu ND	| R16 |
+		"! dvu ND"
+		"\ttsta"
+		"\tbeq 1f"
+		"\tcmpb #2"
+		"\tbeq 1f"
+		"\tjsr Trap"
+		"1:"
+		"\tjsr Dvu2"
+					| %[1] | |
+
+rmu $1==2	| R16 |
+		"! rmu $1==2"
+		"\tjsr Rmu2"
+					| %[1] | |
+rmu $1==4	| |
+		allocate(R16)
+		"! rmu $1==4"
+		"\tjsr Rmu4"
+					| | |
+slu	| | | | sli $1 |
+sru $1==2	| R16 |
+		"! sru $1==2"
+		"\tjsr Sru2"
+					| %[1] | |
+sru $1==4	| R16 |
+		"! sru $1==4"
+		"\tjsr Sru4"
+					| | |
+sru ND	| R16 |
+		"! sru ND"
+		"\ttsta"
+		"\tbeq 1f"
+		"\tcmpb #2"
+		"\tbeq 1f"
+		"\tjsr Trap"
+		"1:"
+		"\tjsr Sru2"
+					| %[1] | |
+
+
+/* GROUP 6 - POINTER ARITHMETIC */
+
+adp $1==0	| | | | |
+adp	| | | | loc $1 adi 2 |
+ads $1==2	| R16 |
+		"! ads $1"
+		"\ttsx"
+		"\taddb 1,x"
+		"\tadca 0,x"
+		"\tins"
+		"\tins"
+					| %[1] | |
+ads ND 	| R16 |
+		"! ads ND"
+		"\ttsta"
+		"\tbeq 1f"
+		"\tcmpb #2"
+		"\tbeq 1f"
+		"\tjsr Trap"
+		"1:"
+		"\ttsx"
+		"\taddb 1,x"
+		"\tadca 0,x"
+		"\tins"
+		"\tins"
+					| %[1] | |
+sbs $1==2	| R16 |
+		"! sbs $1"
+		"\tstab <ARTH+1"
+		"\tstaa <ARTH"
+		"\tpula"
+		"\tpulb"
+		"\tsubb <ARTH+1"
+		"\tsbca <ARTH"
+					| %[1] | |
+sbs ND	| R16 |
+		"! sbs ND"
+		"\ttsta"
+		"\tbeq 1f"
+		"\tcmpb #2"
+		"\tbeq 1f"
+		"\tjsr Trap"
+		"1:"
+		"\tstab <ARTH+1"
+		"\tstaa <ARTH"
+		"\tpula"
+		"\tpulb"
+		"\tsubb <ARTH+1"
+		"\tsbca <ARTH"
+					| %[1] | |
+
+
+/* GROUP 7 INCREMENT/DECREMENT/ZERO */
+
+inc	| R16 |
+		"! inc"
+		"\taddb #1"
+		"\tadca #0"
+					| %[1] | |
+inl IN($1)	| |
+		"! inl IN($1)"
+		"\tldx <LBl"
+		"\tinc BASE+$1+1,x"
+		"\tbne 1f"
+		"\tinc BASE+$1,x"
+		"1:"
+					| | |
+inl 	| |
+		allocate(R16)
+		"! inl"
+		"\tldx #$1"
+		"\tstx <TMP"
+		"\tldab <TMP+1"
+		"\tldaa <TMP"
+		"\taddb <LB+1"
+		"\tadca <LB"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tinc 1,x"
+		"\tbne 1f"
+		"\tinc 0,x"
+		"1:"
+					| | |
+ine	| |
+		"! ine"
+		"\tldx $1"
+		"\tinx"
+		"\tstx $1"
+					| | |
+dec	| R16 |
+		"! dec"
+		"\tsubb #1"
+		"\tsbca #0"
+					| %[1] | |
+del IN($1)	| |
+		allocate(R16)
+		"! del IN($1)"
+		"\tldx <LBl"
+		"\tldab BASE+$1+1,x"
+		"\tldaa BASE+$1+0,x"
+		"\tsubb #1"
+		"\tsbca #0"
+		"\tstab BASE+$1+1,x"
+		"\tstaa BASE+$1+0,x"
+					| | |
+del	| |
+		allocate(R16)
+		"! del"
+		"\tldab #[$1].l"
+		"\tldaa #[$1].h"
+		"\taddb <LB+1"
+		"\tadca <LB"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tldab 1,x"
+		"\tldaa 0,x"
+		"\tsubb #1"
+		"\tsbca #0"
+		"\tstab 1,x"
+		"\tstaa 0,x"
+					| | |
+dee 	| |
+		"! dee"
+		"\tldx $1"
+		"\tdex"
+		"\tstx $1"
+					| | |
+zrl IN($1)	| |
+		"! zrl IN($1)"
+		"\tldx <LBl"
+		"\tclr BASE+$1+1,x"
+		"\tclr BASE+$1+0,x"
+					| | |
+zrl	| |
+		allocate(R16)
+		"! zrl"
+		"\tldab #[$1].l"
+		"\tldaa #[$1].h"
+		"\taddb <LB+1"
+		"\tadca <LB"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tclr 1,x"
+		"\tclr 0,x"
+					| | |
+zre	| |
+		"! zre"
+		"\tclr $1+1"
+		"\tclr $1"
+					| | |
+zer $1==2	| |
+		allocate(R16)
+		"! zer $1"
+		"\tclrb"
+		"\tclra"
+					| %[a] | |
+zer $1==4	| |
+		allocate(R16)
+		"! zer $1"
+		"\tclrb"
+		"\tclra"
+		"\tpshb"
+		"\tpsha"
+					| %[a] | |
+zer $1>0 && $1<=256	| |
+		allocate(R16)
+		"! zer $1"
+		"\tclra"
+		"\tldab $1"
+		"\tlsrb"
+		"\tincb"
+		"1:"
+		"\tpsha"
+		"\tpsha"
+		"\tdecb"
+		"\tbne 1b"
+					| | |
+
+
+/* GROUP 8 - CONVERT (stack: source, source size, dest. size (top)) */
+
+loc loc cii $1==1 && $2==2	| R16 |
+		"! loc loc cii $1==1 && $2==2"
+		"\tclra"
+		"\tasrb"
+		"\trolb"
+		"\tsbca #0"
+					| %[1] | |
+loc loc cii $1==2 && $2==4	| R16 |
+		"! loc loc cii $1==2 && $2==4"
+		"\tpshb"
+		"\tpsha"
+		"\tclrb"
+		"\tasla"
+		"\tsbcb #0"
+		"\ttba"
+					| %[1] | |
+cii 	| R16 |
+		"! cii"
+		"\tjsr Cii"
+					| %[1] | |
+cui 	| | "! cui to cii" | | cii |
+ciu	| | "! ciu to cii" | | cii |
+cuu 	| | "! cuu to cii" | | cii |
+loc loc cui $1==$2	| | "! loc loc cui $1==$2" | | |
+loc loc ciu $1==$2	| | "! loc loc ciu $1==2"  | | |
+loc loc cuu $1==2 && $2==4 | | "! loc loc cuu $1==2 $2==4" | | loc 0 |
+
+
+/* GROUP 9 - LOGICAL */
+
+loc and	$1==65535 && $2==2	| | "! loc and $1==0xffff && $2==2" | | |
+loc and	$1==255 && $2==2	| R16 |
+		"! loc and $1==255 && $2==2"
+		"\tclra"
+					| %[1] | |
+loc and	$2==2	| R16 |
+		"! loc and $2==2"
+		"\tandb #[$1].l"
+		"\tanda #[$1].h"
+					| %[1] | |
+lol and IN($1) && $2==2 | R16 |
+		"! lol and IN($1) && $2==2"
+		"\tldx <LBl"
+		"\tandb BASE+$1+1,x"
+		"\tanda BASE+$1+0,x"
+					| %[1] | |
+lol com and IN($1) && $2==2 && $3==2 | R16 |
+		"! lol com and IN($1) && $2==2 && $3==2   ! x&~y == ~(~x|y)"
+		"\tcomb"
+		"\tcoma"
+		"\tldx <LBl"
+		"\torab BASE+$1+1,x"
+		"\toraa BASE+$1+0,x"
+		"\tcomb"
+		"\tcoma"
+					| %[1] | |
+and $1==2	| R16 |
+		"! and $1"
+		"\ttsx"
+		"\tandb 1,x"
+		"\tanda 0,x"
+		"\tins"
+		"\tins"
+					| %[1] | |
+and $1==4	| |
+		allocate(R16)
+		"! and $1"
+		"\ttsx"
+		"\tldab 7,x"
+		"\tldaa 6,x"
+		"\tandb 3,x"
+		"\tanda 2,x"
+		"\tstab 7,x"
+		"\tstaa 6,x"
+		"\tldab 5,x"
+		"\tldaa 4,x"
+		"\tandb 1,x"
+		"\tanda 0,x"
+		"\tstab 5,x"
+		"\tstaa 4,x"
+		"\tins"
+		"\tins"
+		"\tins"
+		"\tins"
+					| | |
+and $1>=0 && $1<=254 | |
+		allocate(R16)
+		"! and $1>=0 && $1<=254"
+		"\ttsx"
+		"\tstx <TMP"
+		"\tldab <TMP+1"
+		"\tldaa <TMP"
+		"\taddb #[$1].l"
+		"\tadca #[$1].h"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tldab #[$1].l"
+		"1:"
+		"\tpula"
+		"\tanda 0,x"
+		"\tinx"
+		"\tdecb"
+		"\tbne 1b"
+					| | |
+and ND	| R16 |
+		"! and ND $1"
+		"\ttsx"
+		"\tstx <ADDR"
+		"\tstab <ADDR+3"
+		"\tstaa <ADDR+2"
+		"\taddb <ADDR+1"
+		"\tadca <ADDR"
+		"\tstab <ADDR+1"
+		"\tstaa <ADDR"
+		"\taddb <ADDR+3"
+		"\tadca <ADDR+2"
+		"\tstab <ADDR+3"
+		"\tstaa <ADDR+2"
+		"\tldx <ADDR"
+		"1:"
+		"\tpulb"
+		"\tandb 0,x"
+		"\tstab 0,x"
+		"\tinx"
+		"\tcpx <ADDR+2"
+		"\tbne 1b"
+					| | |
+ior $1==2	| R16 |
+		"! ior $1"
+		"\ttsx"
+		"\torab 1,x"
+		"\toraa 0,x"
+		"\tins"
+		"\tins"
+					| %[1] | |
+ior $1==4	| |
+		allocate(R16)
+		"! ior $1"
+		"\ttsx"
+		"\tldab 7,x"
+		"\tldaa 6,x"
+		"\torab 3,x"
+		"\toraa 2,x"
+		"\tstab 7,x"
+		"\tstaa 6,x"
+		"\tldab 5,x"
+		"\tldaa 4,x"
+		"\torab 1,x"
+		"\toraa 0,x"
+		"\tstab 5,x"
+		"\tstaa 4,x"
+		"\tins"
+		"\tins"
+		"\tins"
+		"\tins"
+					| | |
+ior $1>=0 && $1<=254	| |
+		allocate(R16)
+		"! ior $1>=0 && $1<=254"
+		"\ttsx"
+		"\tstx <TMP"
+		"\tldab <TMP+1"
+		"\tldaa <TMP"
+		"\taddb #[$1].l"
+		"\tadca #[$1].h"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tldab #[$1].l"
+		"1:"
+		"\tpula"
+		"\toraa 0,x"
+		"\tinx"
+		"\tdecb"
+		"\tbne 1b"
+					| | |
+ior ND	| R16 |
+		"! ior ND $1"
+		"\ttsx"
+		"\tstx <ADDR"
+		"\tstab <ADDR+3"
+		"\tstaa <ADDR+2"
+		"\taddb <ADDR+1"
+		"\tadca <ADDR"
+		"\tstab <ADDR+1"
+		"\tstaa <ADDR"
+		"\taddb <ADDR+3"
+		"\tadca <ADDR+2"
+		"\tstab <ADDR+3"
+		"\tstaa <ADDR+2"
+		"\tldx <ADDR"
+		"1:"
+		"\tpulb"
+		"\torab 0,x"
+		"\tstab 0,x"
+		"\tinx"
+		"\tcpx <ADDR+2"
+		"\tbne 1b"
+					| | |
+xor $1==2	| R16 |
+		"! xor $1"
+		"\ttsx"
+		"\teorb 1,x"
+		"\teora 0,x"
+		"\tins"
+		"\tins"
+					| %[1] | |
+xor $1==4	| |
+		allocate(R16)
+		"! xor $1"
+		"\ttsx"
+		"\tldab 7,x"
+		"\tldaa 6,x"
+		"\teorb 3,x"
+		"\teora 2,x"
+		"\tstab 7,x"
+		"\tstaa 6,x"
+		"\tldab 5,x"
+		"\tldaa 4,x"
+		"\teorb 1,x"
+		"\teora 0,x"
+		"\tstab 5,x"
+		"\tstaa 4,x"
+		"\tins"
+		"\tins"
+		"\tins"
+		"\tins"
+					| | |
+xor $1>=0 && $1<=254	| |
+		allocate(R16)
+		"! xor $1>=0 && $1<=254"
+		"\ttsx"
+		"\tstx <TMP"
+		"\tldab <TMP+1"
+		"\tldaa <TMP"
+		"\taddb #[$1].l"
+		"\tadca #[$1].h"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\tldab #[$1].l"
+		"1:"
+		"\tpula"
+		"\teora 0,x"
+		"\tinx"
+		"\tdecb"
+		"\tbne 1b"
+					| | |
+xor ND	| R16 |
+		"! xor ND"
+		"\ttsx"
+		"\tstx <ADDR"
+		"\tstab <ADDR+3"
+		"\tstaa <ADDR+2"
+		"\taddb <ADDR+1"
+		"\tadca <ADDR"
+		"\tstab <ADDR+1"
+		"\tstaa <ADDR"
+		"\taddb <ADDR+3"
+		"\tadca <ADDR+2"
+		"\tstab <ADDR+3"
+		"\tstaa <ADDR+2"
+		"\tldx <ADDR"
+		"1:"
+		"\tpulb"
+		"\teorb 0,x"
+		"\tstab 0,x"
+		"\tinx"
+		"\tcpx <ADDR+2"
+		"\tbne 1b"
+					| | |
+com $1==2	| R16 |
+		"! com $1"
+		"\tcomb"
+		"\tcoma"
+					| %[1] | |
+com $1==4	| R16 |
+		"! com $1"
+		"\ttsx"
+		"\tcom 1,x"
+		"\tcom 0,x"
+		"\tcomb"
+		"\tcoma"
+					| %[1] | |
+com $1>=0 && $1<=254 | |
+		allocate(R16)
+		"! com $1<=254"
+		"\ttsx"
+		"\tldab #[$1].l"
+		"1:"
+		"\tcom 0,x"
+		"\tinx"
+		"\tdecb"
+		"\tbne 1b"
+					| | |
+com ND	| |
+		allocate(R16)
+		"! com ND"
+		"\ttsx"
+		"\tstx <ADDR"
+		"\taddb <ADDR+1"
+		"\tadca <ADDR"
+		"\tstab <ADDR+3"
+		"\tstaa <ADDR+2"
+		"1:"
+		"\tcom 0,x"
+		"\tinx"
+		"\tcpx <ADDR+2"
+		"\tbne 1b"
+					| | |
+rol $1==2	| R16 |
+		"! rol $1"
+		"\taslb"
+		"\trola"
+					| %[1] | |
+rol $1==4	| R16 |
+		"! rol $1"
+		"\ttsx"
+		"\tasl 1,x"
+		"\trol 0,x"
+		"\trolb"
+		"\trola"
+					| | |
+rol ND	| R16 |
+		"! rol ND"
+		"\ttsx"
+		"\tstx <ADDR"
+		"\taddb <ADDR+1"
+		"\tadca <ADDR"
+		"\tstab <ADDR+3"
+		"\tstaa <ADDR+2"
+		"\tldx <ADDR+2"
+		"\tclc"
+		"1:"
+		"\tdex"
+		"\trol 0,x"
+		"\tcpx <ADDR"
+		"\tbne 1b"
+					| %[1] | |
+ror $1==2	| R16 |
+		"! ror $1"
+		"\tasra"
+		"\trorb"
+					| %[1] | |
+ror $1==4	| R16 |
+		"! ror $1"
+		"\ttsx"
+		"\tasra"
+		"\trorb"
+		"\tror 0,x"
+		"\tror 1,x"
+					| | |
+ror ND	| R16 |
+		"! ror ND"
+		"\ttsx"
+		"\tstx <ADDR"
+		"\taddb <ADDR+1"
+		"\tadca <ADDR"
+		"\tstab <ADDR+3"
+		"\tstaa <ADDR+2"
+		"\tclc"
+		"1:"
+		"\tror 0,x"
+		"\tinx"
+		"\tcpx <ADDR+2"
+		"\tbne 1b"
+					| %[1] | |
+
+
+/* GROUP 10 - SETS */
+
+/* if bit $1 is on, AB=1 else AB=0 */
+
+loc inn $1<0 && $2==2	| R16 |
+		"! loc inn $1 $2"
+		"\tclrb"
+		"\tclra"
+					| %[1] | |
+loc inn	$2==2 && $1==0	| R16 |
+		"! loc inn $1 $2"
+		"\andb #1"
+		"\tclra"
+					| %[1] | |
+loc inn	$2==2 && $1>0 && $1<16	| R16 |
+		"! loc inn $1 $2"
+		"\tldx #$1"
+		"1:"
+		"\tlsra"
+		"\trorb"
+		"\tdex"
+		"\tbne 1b"
+		"\tandb #1"
+		"\tclra"
+					| %[1] | |
+loc inn zeq $1==0 && $2==2	| R16 |
+		"! loc inn zeq $1 $2 $3"
+		"\tandb #1"
+		"\tbeq $3 ! ???"
+					| | |
+loc inn zeq $1>0 && $1<16 && $2==2	| R16 |
+		"\tldx #$1"
+		"1:"
+		"\tlsra"
+		"\trorb"
+		"\tdex"
+		"\tbne 1b"
+		"\tandb #1"
+		"\tbeq $3 ! ???"
+					| | |
+loc inn zne $1==0 && $2==2	| R16 |
+		"! loc inn zne $1 $2 $3"
+		"\tandb #1"
+		"\tbne $3 ! ???"
+					| | |
+loc inn zne $1>0 && $1<16 && $2==2	| R16 |
+		"! loc inn zne $1 $2"
+		"\tldx #$1"
+		"1:"
+		"\tlsra"
+		"\trorb"
+		"\tdex"
+		"\tbne 1b"
+		"\tandb #1"
+		"\tbne $3 ! ???"
+					| | |
+/*
+inn $1==2	| R16 |
+		"! inn $1"
+		"\tstab <ARTH+1"
+		"\tstaa <ARTH"
+		"\tldx <ARTH"
+		"\tbne 1f"
+		"\tclrb"
+		"\tbra 3f"
+		"1:"
+		"\tpula"
+		"\tpulb"
+		"2:"
+		"\tlsra"
+		"\trorb"
+		"\tdex"
+		"\tbne 2b"
+		"\tandb #1"
+		"3:"
+		"\tclra"
+				| %[1] | |
+inn zeq $1==2	| R16 |
+		"! inn zeq $1"
+		"\tstab <ARTH+1"
+		"\tstaa <ARTH"
+		"\tldx <ARTH"
+		"\tpula"
+		"\tpulb"
+		"1:"
+		"\tlsra"
+		"\trorb"
+		"\tdex"
+		"\tbne 1b"
+		"\tandb #1"
+		"\tbeq $2"
+				| %[1] | |
+inn zne $1==2	| R16 |
+		"! inn zne $1"
+		"\tstab <ARTH+1"
+		"\tstaa <ARTH"
+		"\tldx <ARTH"
+		"\tpula"
+		"\tpulb"
+		"1:"
+		"\tlsra"
+		"\trorb"
+		"\tdex"
+		"\tbne 1b"
+		"\tandb #1"
+		"\tbne $2"
+				| %[1] | |
+*/
+inn $1<=256	| |
+		allocate(R16)
+		"! inn $1"
+		"\tldab #[$1].l"
+		"\tldaa #[$1].h"
+		"\tjsr Inn"
+					| %[a] | |
+inn ND	| R16 |
+		"! inn ND"
+		"\tjsr TestFFh"
+		"\tpula"
+		"\tpulb"
+		"\tjsr Inn"
+					| %[1] | |
+loc set $2==2 && $1>=0 && $1<16	| |
+		allocate(R16)
+		"! loc set $1 $2"
+		"\tldx #$1"
+		"\tclrb"
+		"\tclra"
+		"\tsec"
+		"1:"
+		"\trolb"
+		"\trola"
+		"\tdex"
+		"bne 1b"
+					| %[a] | |
+set $1==2	| R16 |
+		"! set $1"
+		"\tstab <ARTH+1"
+		"\tstaa <ARTH"
+		"\tldx <ARTH"
+		"\tclrb"
+		"\tclra"
+		"\tsec"
+		"1:"
+		"\trolb"
+		"\trola"
+		"\tdex"
+		"\tbne 1b"
+					| %[1] | |
+set $1<=256	| R16 |
+		"! set $1"
+		"\tldx #$1-1"
+		"\tjsr Set"
+					| | |
+set ND	| R16 |
+		"! set ND"
+		"\tjsr TestFFh"
+		"\tjsr Pop"
+		"\tjsr Set"
+					| | |
+
+
+/* GROUP 11 - ARRAY */
+
+lae lar defined(rom(1,3)) | | | | lae $1 aar $2 loi rom(1,3) |
+lar $1==2	| R16 |
+		"! lar $1"
+		"\tjsr Lar"
+					| | |
+lar ND	| R16 |
+		"! lar ND"
+		"\ttsta"
+		"\tbeq 1f"
+		"\tcmpb #2"
+		"\tbeq 1f"
+		"\tjsr Trap"
+		"1:"
+		"\tjsr Lar"
+					| | |
+lae sar defined(rom(1,3)) | | | | lae $1 aar $2 sti rom(1,3) |
+sar $1==2	| R16 |
+		"! Sar $1"
+		"\tjsr Sar"
+					| | |
+sar ND	| R16 |
+		"! Sar ND"
+		"\ttsta"
+		"\tbeq 1f"
+		"\tcmpb #2"
+		"\tbeq 1f"
+		"\tjsr Trap"
+		"1:"
+		"\tjsr Sar"
+					| | |
+lae aar $2==2 && rom(1,3)==1 && rom(1,1)==0 | | | | adi 2 |
+lae aar $2==2 && rom(1,3)==1 && rom(1,1)!=0 | |
+				    | | adi 2 adp 0-rom(1,1) |
+lae aar $2==2 && rom(1,3)==2 && rom(1,1)==0 | R16 |
+		"! lae aar $1 $2"
+		"\taslb"
+		"\trola"
+					| %[1] | adi 2 |
+lae aar $2==2 && rom(1,3)==2 && rom(1,1)!=0 | R16 |
+		"! lae aar $1 $2"
+		"\taslb"
+		"\trola"
+				    | %[1] | adi 2 adp (0-rom(1,1))*2 |
+lae aar $2==2 && rom(1,3)>2 && rom(1,1)==0 | |
+					| | loc rom(1,3) mli 2 adi 2 |
+lae aar $2==2 && rom(1,3)>2 && rom(1,1)!=0 | |
+		| | loc rom(1,3) mli 2 adi 2 adp (0-rom(1,1))*rom(1,3) |
+aar $1==2	| R16 |
+		"! aar $1"
+		"\tjsr Aar"
+					| %[1] | |
+aar ND	| R16 |
+		"! aar ND"
+		"\ttsta"
+		"\tbeq 1f"
+		"\tcmpb #2"
+		"\tbeq 1f"
+		"\tjsr Trap"
+		"1:"
+		"\tjsr Aar"
+					| %[1] | |
+
+
+/* GROUP 12 - COMPARE */
+
+cmi $1==2	| R16 |
+		"! cmi $1"
+		"\tjsr Cmi2"
+					| %[1] | |
+cmi $1==4	| |
+		allocate(R16)
+		"! cmi $1"
+		"\tjsr Cmi4"
+					| %[a] | |
+cmi ND	| R16 |
+		"! cmi R16"
+		"\ttsta"
+		"\tbeq 1f"
+		"\tcmpb #2"
+		"\tbeq 1f"
+		"\tjsr Trap"
+		"1:"
+		"\tjsr Cmi"
+					| %[1] | |
+/* compare unsigned */
+cmu $1==2	| R16 |
+		"! cmu $1"
+		"\tjsr Cmu2"
+					| %[1] | |
+cmu $1==4	| |
+		allocate(R16)
+		"! cmu $1"
+		"\tjsr Cmu4"
+					| %[a] | |
+cmu $1>0 | |
+		allocate(R16)
+		"! cmu $1"
+		"\tldab #[$1].l"
+		"\tldaa #[$1].h"
+		"\tjsr Cmu"
+					| %[a] | |
+cmu ND	| |
+		allocate(R16)
+		"! cmu ND"
+		"\ttsta"
+		"\tbeq 1f"
+		"\tcmpb #2"
+		"\tbeq 1f"
+		"\tjsr Trap"
+		"1:"
+		"\tjsr Cmu"
+					| | |
+cmp	| |
+					| | cmu 2 |
+cms $1==2 || $1==4	| |
+		allocate(R16)
+		"! cms $1"
+		"\tldab #[$1].l"
+		"\tldaa #[$1].h"
+		"\tjsr Cms"
+					| %[a] | |
+cms ND	| R16 |
+		"! cms ND"
+		"\tjsr Cms"
+					| %[1] | |
+tlt	| R16 |
+		"! tlt"
+		"\tjsr Tlt"
+					| %[1] | |
+tle	| R16 |
+		"! tle"
+		"\tjsr Tle"
+					| %[1] | |
+teq	| R16 |
+		"! teq"
+		"\taba"
+		"\tadca #0"
+		"\tclrb"
+		"\tsuba #1"
+		"\trolb"
+		"\tclra"
+					| %[1] | |
+tne	| R16 |
+		"! tne"
+		"\taba"
+		"\tadca #0"
+		"\tclrb"
+		"\tnega"
+		"\trolb"
+		"\tclra"
+					| %[1] | |
+tge	| R16 |
+		"! tge"
+		"\tjsr Tge"
+					| %[1] | |
+tgt	| R16 |
+		"! tgt"
+		"\tjsr Tgt"
+					| %[1] | |
+
+
+/* GROUP 13 - BRANCH */
+
+bra	| |
+		remove(ALL)
+		"! bra"
+		"\tjmp $1"
+					| | |
+loc blt | R16 |
+		"! loc blt $1"
+		"\tsubb #[$1].l"
+		"\tsbca #[$1].h"
+		"\tblt $2"
+					| | |
+lol blt IN($1) | R16 |
+		"! lol blt IN($1)"
+		"\tldx <LBl"
+		"\tsubb BASE+$1+1,x"
+		"\tsbca BASE+$1+0,x"
+		"\tblt $2"
+					| | |
+blt	| R16 |
+		"! blt"
+		"\tjsr Sbi2"
+		"\tblt $1"
+					| | |
+loc ble | R16 |
+		"! loc ble $1"
+		"\tsubb #[$1].l"
+		"\tsbca #[$1].h"
+		"\tblt $2"
+		"\tbgt 1f"
+		"\ttstb"
+		"\tbeq $2"
+		"1:"
+					| | |
+lol loc ble IN($1) | | | | loc $2 lol $1 bge $3 |
+lol lol ble IN($1) && IN($2) | |
+		allocate(R16)
+		"! lol lol ble IN($1) && IN($2)"
+		"\tldx <LBl"
+		"\tldab BASE+$2+1,x"
+		"\tldaa BASE+$2+0,x"
+		"\tsubb BASE+$1+1,x"
+		"\tsbca BASE+$1+0,x"
+		"\tbge $3"
+					| | |
+lol ble IN($1) | R16 |
+		"! lol ble IN($1)"
+		"\tldx <LBl"
+		"\tsubb BASE+$1+1,x"
+		"\tsbca BASE+$1+0,x"
+		"\tblt $2"
+		"\tbgt 1f"
+		"\ttstb"
+		"\tbeq $2"
+		"1:"
+					| | |
+ble	| R16 |
+		"! ble"
+		"\tjsr Sbi2"
+		"\tblt $1"
+		"\tbgt 1f"
+		"\ttstb"
+		"\tbeq $1"
+		"1:"
+					| | |
+lol loc beq IN($1) | |
+		"! lol loc beq"
+		"\tldx <LBl"
+		"\tldx BASE+$1,x"
+		"\tcpx #$2"
+		"\tbeq $3"
+					| | |
+loc beq | R16 |
+		"! loc beq"
+		"\tcmpb #[$1].l"
+		"\tbne 1f"
+		"\tcmpa #[$1].h"
+		"\tbeq $2"
+		"1:"
+					| | |
+lol beq IN($1) | R16 |
+		"! lol beq IN($1)"
+		"\tldx <LBl"
+		"\tcmpb BASE+$1+1,x"
+		"\tbne 1f"
+		"\tcmpa BASE+$1+0,x"
+		"\tbeq $2"
+		"1:"
+					| | |
+loc beq | R16 |
+		"! loc bne "
+		"\tcmpb #[$1].l"
+		"\tbne 1f"
+		"\tcmpa #[$1].h"
+		"\tbeq $2"
+		"1:"
+					| | |
+beq	| R16 |
+		"! beq"
+		"\tstab <BRANCH+1"
+		"\tstaa <BRANCH"
+		"\ttsx"
+		"\tldx 0,x"
+		"\tins"
+		"\tins"
+		"\tcpx <BRANCH"
+		"\tbeq $1"
+					| | |
+loc bne | R16 |
+		"! loc bne"
+		"\tcmpb #[$1].l"
+		"\tbne $2"
+		"\tcmpa #[$1].h"
+		"\tbne $2"
+					| | |
+bne	| R16 |
+		"! bne"
+		"\tstab <BRANCH+1"
+		"\tstaa <BRANCH"
+		"\ttsx"
+		"\tldx 0,x"
+		"\tins"
+		"\tins"
+		"\tcpx <BRANCH"
+		"\tbne $1"
+					| | |
+loc bge | R16 |
+		"! loc bge"
+		"\tsubb #[$1].l"
+		"\tsbca #[$1].h"
+		"\tbge $2"
+					| | |
+bge	| R16 |
+		"! bge"
+		"\tjsr Sbi2"
+		"\tbge $1"
+					| | |
+lol loc bgt IN($1) | | | | loc $2 lol $1 blt $3 |
+loc bgt | R16 |
+		"! loc bgt"
+		"\tsubb #[$1].l"
+		"\tsbca #[$1].h"
+		"\tblt 1f"
+		"\tbgt $2"
+		"\ttstb"
+		"\tbne $2"
+		"1:"
+					| | |
+bgt	| R16 |
+		"! bgt"
+		"\tjsr Sbi2"
+		"\tblt 1f"
+		"\tbgt $1"
+		"\ttstb"
+		"\tbne $1"
+		"1:"
+					| | |
+
+cmi zlt $1==2 | | | | blt $2 |
+zlt	| R16 |
+		"! zlt"
+		"\ttsta"
+		"\tblt $1"
+					| | |
+cmi zle $1==2 | | | | ble $2 |
+zle	| R16 |
+		"! zle"
+		"\ttsta"
+		"\tblt $1"
+		"\tbgt 1f"
+		"\ttstb"
+		"\tbeq $1"
+		"1:"
+					| | |
+cmi zeq $1==2 | | | | beq $2 |
+cmp zeq | | | | beq $2 |
+cms zeq $1==2 | | | | beq $2 |
+lal loi zeq IN($1) && $2==1 | |
+		allocate(R16)
+		"! lal loi zne IN($1) && $2==1"
+		"\tldx <LBl"
+		"\tldab BASE+$1,x"
+		"\tbeq $3"
+					| | |
+loi zeq $1==1 | R16 |
+		"! loi zeq $1==1"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\ttst 0,x"
+		"\tbeq $2"
+					| | |
+lol zeq IN($1) | |
+		allocate(R16)
+		"! lol zeq IN($1)"
+		"\tldx <LBl"
+		"\tldx BASE+$1,x"
+		"\tbeq $2"
+					| | |
+zeq	| R16 |
+		"! zeq"
+		"\ttstb"
+		"\tbne 1f"
+		"\ttsta"
+		"\tbeq $1\n1:"
+					| | |
+cmi zne $1==2 | | | | bne $2 |
+cmp zne | | | | bne $2 |
+cms zne $1==2 | | | | bne $2 |
+lal loi zne IN($1) && $2==1 | |
+		allocate(R16)
+		"! lal loi zne IN($1) && $2==1"
+		"\tldx <LBl"
+		"\tldab BASE+$1,x"
+		"\tbne $3"
+					| | |
+lol zne IN($1) | |
+		allocate(R16)
+		"! lol zne IN($1)"
+		"\tldx <LBl"
+		"\tldx BASE+$1,x"
+		"\tbne $2"
+					| | |
+zne	| R16 |
+		"! zne"
+		"\ttsta"
+		"\tbne $1"
+		"\ttstb"
+		"\tbne $1"
+					| | |
+cmi zge $1==2 | | | | bge $2 |
+zge	| R16 |
+		"! zge"
+		"\ttsta"
+		"\tbpl $1"
+					| | |
+cmi zgt $1==2 | | | | bgt $2 |
+zgt	| R16 |
+		"! zgt"
+		"\ttsta"
+		"\tbmi 1f"
+		"\tbne $1"
+		"\ttstb"
+		"\tbne $1\n1:"
+					| | |
+/*
+ * cmp: AccAB - TOS
+ *	a>b	-1
+ *	a==b	0
+ *	a<b	1
+ *
+ * cmp zlt	AccAB > TOS?
+ * cmp zle	AccAB >= TOS?
+ * cmp zge	AccAB =< TOS?
+ * cmp zgt	AccAB < TOS?
+ */
+/*
+cmp zlt	| R16 |
+		"! cmp zlt"
+		"\ttsx"
+		"\tsubb 1,x"
+		"\tsbca 0,x"
+		"\tins"
+		"\tins"
+		"\tbhi $1"
+		"\tbcs 1f"
+		"\ttstb"
+		"\tbne $1"
+		"1:"
+					| | |
+cmp zle | R16 |
+		"! cmp zle"
+		"\ttsx"
+		"\tsubb 1,x"
+		"\tsbca 0,x"
+		"\tins"
+		"\tins"
+		"\tbcc $1"
+					| | |
+cmp zge | R16 |
+		"! cmp zge"
+		"\ttsx"
+		"\tsubb 1,x"
+		"\tsbca 0,x"
+		"\tins"
+		"\tins"
+		"\tbcs $1"
+		"\tbhi 1f"
+		"\ttstb"
+		"\tbeq $1"
+		"1:"
+					| | |
+cmp zgt | R16 |
+		"! cmp zgt"
+		"\ttsx"
+		"\tsubb 1,x"
+		"\tsbca 0,x"
+		"\tins"
+		"\tins"
+		"\tbcs $1"
+					| | |
+*/
+
+/* GROUP 14 - PROCEDURE CALL */
+
+loe cai | |
+		allocate(R16)
+		"! loe cai"
+		"\tldx $1"
+		"\tjsr 0,x"
+					| | |
+cai	| R16 |
+		"! cai"
+		"\tstab <ADDR+1"
+		"\tstaa <ADDR"
+		"\tldx <ADDR"
+		"\tjsr 0,x"
+					| | |
+cal	| |
+		remove(ALL)
+		"! cal $1"
+		"\tjsr $1"
+					| | |
+lfr $1==2 | |
+		allocate(R16)
+		"! lfr $1"
+		"\tldab <RETURN+1"
+		"\tldaa <RETURN"
+					| %[a] | |
+lfr $1==4 | |
+		allocate(R16)
+		"! lfr $1"
+		"\tldab <RETURN+3"
+		"\tldaa <RETURN+2"
+		"\tpshb"
+		"\tpsha"
+		"\tldab <RETURN+1"
+		"\tldaa <RETURN"
+		"\tpshb"
+		"\tpsha"
+					| | |
+lfr ret $1==$2	| | | | ret 0 |
+asp lfr ret $2==$3 | | | | ret 0 |
+ret $1==0 | |
+		"! ret $1"
+		"\tjmp Ret0"
+					| | |
+ret $1==2 | R16 |
+		"! ret $1"
+		"\tjmp Ret2"
+					| | |
+ret $1==4 	| R16 |
+		"! ret $1"
+		"\tjmp Ret4"
+					| | |
+
+
+/* GROUP 15 - MISCELLANOUS */
+
+asp $1==2 | R16 |
+		remove(ALL)
+		"! asp $1 R16"
+					| | |
+
+asp $1==2 | |
+		allocate(R16)
+		"! asp $1"
+		"\tins"
+		"\tins"
+					| | |
+asp $1==4 | |
+		allocate(R16)
+		"! asp $1"
+		"\tins"
+		"\tins"
+		"\tins"
+		"\tins"
+					| | |
+asp $1==6 | |
+		allocate(R16)
+		"! asp $1"
+		"\tins"
+		"\tins"
+		"\tins"
+		"\tins"
+		"\tins"
+		"\tins"
+					| | |
+asp $1==8 | |
+		allocate(R16)
+		"! asp $1"
+		"\tins"
+		"\tins"
+		"\tins"
+		"\tins"
+		"\tins"
+		"\tins"
+		"\tins"
+		"\tins"
+					| | |
+asp	| |
+		allocate(R16)
+		"! asp $1"
+		"\tldab #[$1].l"
+		"\tldaa #[$1].h"
+		"\tsts <TMP"
+		"\taddb <TMP+1"
+		"\tadca <TMP"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tlds <TMP"
+					| | |
+ass $1==2	| R16 |
+		"! ass $1==2"
+		"\tsts <TMP"
+		"\taddb <TMP+1"
+		"\tadca <TMP"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tlds <TMP"
+					| | |
+ass ND	| R16 |
+		"! ass ND"
+		"\tsts <TMP"
+		"\taddb <TMP+1"
+		"\tadca <TMP"
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tlds <TMP"
+					| | |
+blm $1==0	| | | | asp 4 |
+blm $1>0	| |
+		allocate(R16)
+		"! blm $1>0"
+		"\tldx #$1"
+		"\tstx <NBYTES"
+		"\tjsr Blm"
+					| | |
+bls $1==2	| R16 |
+		"! bls $1"
+		"\tstab <NBYTES+1"
+		"\tstaa <NBYTES"
+		"\tjsr Blm"
+					| | |
+/* The argument of bls must be 2. */
+bls | R16 |
+		"\tjsr Trap"
+					| | |
+lae csa | R16 |
+		"! lae csa"
+		"\tldx #$1"
+		"\tjmp CsaX"
+					| | |
+lae csb	| R16 |
+		"! lae csb"
+		"\tldx #$1"
+		"\tjmp CsbX"
+					| | |
+csa	| R16 |
+		"! csa"
+		"\tjmp Csa"
+					| | |
+csb	| R16 |
+		"! csb"
+		"\tjmp Csb"
+					| | |
+dch	| | | | loi 2 |
+dup $1==2	| R16 |
+		"! dup $1"
+		"\tpshb"
+		"\tpsha"
+					| %[1] | |
+dup $1==4	| |
+		allocate(R16)
+		"! dup $1==4"
+		"\ttsx"
+		"\tldab 3,x"
+		"\tldaa 2,x"
+		"\tpshb"
+		"\tpsha"
+		"\tldab 1,x"
+		"\tldaa 0,x"
+		"\tpshb"
+		"\tpsha"
+					| | |
+dup $1<=256	| |
+		allocate(R16)
+		"! dup $1"
+		"\tldx #$1"
+		"\tjsr DupX"
+					| | |
+dup 		| R16 |
+		"! dup ND"
+		"\tldx #$1"
+		"\tjsr DupX"
+					| | |
+dus $1==2	| R16 |
+		"! dus $1"
+		"\tjsr DupAB"
+					| | |
+exg $1==2	| R16 |
+		"! exg $1"
+		"\ttsx"
+		"\tldx 0,x"
+		"\tstx TMP"
+		"\ttsx"
+		"\tstab 1,x"
+		"\tstaa 0,x"
+		"\tldab TMP+1"
+		"\tldaa TMP"
+					| %[1] | |
+exg $1<=255	| |
+		allocate(R16)
+		"! exg $1"
+		"\tldab #[$1].l"
+		"\tldaa #[$1].h"
+		"\tjsr Exg"
+					| | |
+fil	| |
+		"! fil"
+		"\tldx #$1"
+		"\tstx hol0+4"
+					| | |
+gto	| |
+		allocate(R16)
+		"! gto"
+		"\tldx #$1"
+		"\tjmp Gto"
+					| | |
+lim	| |
+		allocate(R16)
+		"! lim"
+		"\tldab IGNMASK+1"
+		"\tldaa IGNMASK"
+					| %[a] | |
+lin	| |
+		"! lin"
+		"\tldx #$1"
+		"\tstx hol0"
+					| | |
+lni	| |
+		"! lni"
+		"\tldx hol0"
+		"\tinx"
+		"\tstx hol0"
+					| | |
+lor $1==0	| |
+		allocate(R16)
+		"! lor $1"
+		"\tldab <LB+1"
+		"\tldaa <LB"
+					| %[a] | |
+lor $1==1	| |
+		allocate(R16)
+		"! lor $1"
+		"\ttsx"
+		"\tstx <TMP"
+		"\tldab <TMP+1"
+		"\tldaa <TMP"
+					| %[a] | |
+lor $1==2	| |
+		allocate(R16)
+		"! lor $1"
+		"\tldab HP+1"
+		"\tldaa HP"
+					| %[a] | |
+lpb	| | | | adp 2 |
+mon	| R16 |
+		"! mon"
+		"\tjsr Mon"
+					| %[1] | |
+nop	| STACK |
+#ifdef DEBUG
+		allocate(R16)
+		"! nop"
+		"\tjsr Printstack"
+#endif
+					| | |
+rck	| R16 | | | |
+rtt	| |
+		remove(ALL)
+		"! rtt"
+		"\tjmp Rtt"
+					| | |
+sig 	| R16 |
+		"! sig"
+		"\tdes"
+		"\tdes"
+		"\ttsx"
+		"\tpshb"
+		"\tpsha"
+		"\tldab ERRPROC+1"
+		"\tldaa ERRPROC"
+		"\tstab 3,x"
+		"\tstaa 2,x"
+		"\tpula"
+		"\tpulb"
+		"\tstab ERRPROC+1"
+		"\tstaa ERRPROC"
+					| | |
+sim	| R16 |
+		"! sim"
+		"\tstab IGNMASK+1"
+		"\tstaa IGNMASK"
+					| | |
+/*
+ * str modifies internal pointer registers (lb, sp, hp) in the EM interpreter
+ */
+str $1==0	| R16 |
+		"\tstab <LB+1"
+		"\tstaa <LB"
+		"\tsubb #BASE"
+		"\tsbca #0"
+		"\tstab <LBl+1"
+		"\tstaa <LBl"
+					| | |
+str $1==1	| R16 |
+		"\tstab <TMP+1"
+		"\tstaa <TMP"
+		"\tldx <TMP"
+		"\ttxs"
+					| | |
+str $1==2	| R16 |
+		"\tstab HP+1"
+		"\tstaa HP"
+					| | |
+trp	| R16 |
+		"\tjsr Trap"
+					| | |
+lol lal sti IN($1) && $1==$2 && $3==1 | |
+		"! Code to adjust the byte order."
+		"! lol lal sti IN($1) $2 $3"
+		"\tldx <LBl"
+		"\tldab BASE+$1+1,x"
+		"\tstab BASE+$1,x"
+					 | | |
+lol lal sti INP($1) && $1==$2 && $3==1 | |
+		"! Code to adjust the byte order."
+		"! lol lal sti INP($1) $2 $3"
+		"\tldx <LB"
+		"\tldab $1+1,x"
+		"\tstab $1,x"
+					 | | |
+lol lal sti $1==$2 && $3==1 | |
+		"! Code to adjust the byte order."
+		"! lol lal sti $1==$2 $3==1"
+		"\tldab <LB+1"
+		"\tldaa <LB"
+		"\taddb #[$1].l"
+		"\tadca #[$1].h"
+		"\tstab TMP+1"
+		"\tstaa TMP"
+		"\tldx TMP"
+		"\tldab 1,x"
+		"\tstab 0,x"
+					 | | |
+
+	| STACK |
+		allocate(R16)
+		"! STACK Pop"
+		"\tpula"
+		"\tpulb"
+					| %[a] | |
+
+/* FLOATING POINT
+ * Every EM floating point instruction is translated
+ * into a library call. At present, these library
+ * routines generate an 'Illegal EM instruction' trap.
+ */
+
+
+adf $1==4	| STACK |
+		"\tjsr Adf4"
+					| | |
+adf $1==8	| STACK |
+		"\tjsr Adf8"		| | |
+
+sbf $1==4	| STACK |
+		"\tjsr Sbf4"
+					| | |
+sbf $1==8	| STACK |
+		"\tjsr Sbf8"		| | |
+
+mlf $1==4	| STACK |
+		"\tjsr Mlf4"
+					| | |
+mlf $1==8	| STACK |
+		"\tjsr Mlf8"		| | |
+
+dvf $1==4	| STACK |
+		"\tjsr Dvf4"
+					| | |
+dvf $1==8	| STACK |
+		"\tjsr Dvf8"		| | |
+
+ngf $1==4	| STACK |
+		"\tjsr Ngf4"
+					| | |
+ngf $1==8	| STACK |
+		"\tjsr Ngf8"		| | |
+
+zrf $1==4	| STACK |
+		"\tjsr Zrf4"
+					| | |
+zrf $1==8	| STACK |
+		"\tjsr Zrf8"		| | |
+
+cmf $1==4	| STACK |
+		"\tjsr Cmf4"
+					| | |
+cmf $1==8	| STACK |
+		"\tjsr Cmf8"		| | |
+
+fef $1==4	| STACK |
+		"\tjsr Fef4"
+					| | |
+fef $1==8	| STACK |
+		"\tjsr Fef8"		| | |
+
+fif $1==4	| STACK |
+		"\tjsr Fif4"
+					| | |
+fif $1==8	| STACK |
+		"\tjsr Fif8"		| | |
+
+cfi 		| STACK |
+		"\tjsr Cfi"		| | |
+
+cif 		| STACK |
+		"\tjsr Cif"		| | |
+
+cuf 		| STACK |
+		"\tjsr Cuf"		| | |
+
+cff 		| STACK |
+		"\tjsr Cff"		| | |
+
+cfu 		| STACK |
+		"\tjsr Cfu"		| | |
+
+lfr $1==8	| STACK |
+		"\tjsr Lfr8"		| | |
+
+ret $1==8	| STACK |
+		"\tjmp Ret8"		| | |
+
+/*************\
+*  M O V E S  *
+\*************/
+
+MOVES:  (AAA,AAA,"nop")
+
+STACKS:  (R16, , "! STACKS\n\tpshb\n\tpsha")
diff --git a/mach/mc6800/libem/aar.s b/mach/mc6800/libem/aar.s
new file mode 100644
index 0000000000..0bc2dd2b9a
--- /dev/null
+++ b/mach/mc6800/libem/aar.s
@@ -0,0 +1,78 @@
+.define Aar
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine gets the address of the array element
+!
+! AccAB: address of descriptor
+! stack:
+! +0, +1: rerurn address
+! +2, +3: index
+! +4, +5: base of array
+!
+! descriptor:
+! +0, +1  lower bound
+! +2, +3  upper bound
+! +4, +5  object size
+! +6...   array data
+
+Aar:
+	tsx
+	ldx 0,x
+	stx TMP
+	stab ADDR+1	! address of descriptor (lowbyte)
+	staa ADDR	! address of descriptor (highbyte)
+	tsx
+	ldab 3,x	! get index
+	ldaa 2,x
+	ldx ADDR	! index < lower bound ?
+	subb 1,x
+	sbca 0,x
+	blt 9f		! trap EARRAY
+	pshb
+	psha
+	subb 3,x	! index - lower bound > object size ?
+	sbca 2,x
+	pula
+	pulb
+	bgt 9f		! trap EARRAY
+!
+2:	ldx 4,x		! get object size
+	beq Trap
+	cpx #1
+	beq 6f
+	cpx #2
+	beq 5f
+	cpx #4
+	beq 4f
+!			! AccAB has index - lower bound
+	stx ARTH
+	jsr Mlu2	! AccAB = AccAB * ARTH (object size)
+	bra 6f
+!
+4:	aslb		! object size == 4
+	rola
+!
+5:	aslb		! object size == 2
+	rola
+!
+6:			! object size == 1
+	tsx
+	addb 5,x	! add base of array
+	adca 4,x
+	ldx 0,x
+	ins
+	ins
+	ins
+	ins
+	ins
+	ins
+	jmp 0,x
+9:
+	ldab #EARRAY
+	clra
+	jsr Trap
diff --git a/mach/mc6800/libem/adi4.s b/mach/mc6800/libem/adi4.s
new file mode 100644
index 0000000000..579283f5dc
--- /dev/null
+++ b/mach/mc6800/libem/adi4.s
@@ -0,0 +1,37 @@
+.define Adi4
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine adds two fourbyte integers, which are on the stack.
+! The result is pushed back onto the stack
+
+! +0    rerurn address
+! +2,+5 4byte integer
+! +6,+9 4byte integer (and result)
+
+Adi4:
+	tsx
+	ldab 9,x
+	ldaa 8,x
+	addb 5,x
+	adca 4,x
+	stab 9,x
+	staa 8,x
+	ldab 7,x
+	ldaa 6,x
+	adcb 3,x
+	adca 2,x
+	stab 7,x
+	staa 6,x
+	ldx 0,x
+	ins
+	ins
+	ins
+	ins
+	ins
+	ins
+	jmp 0,x
diff --git a/mach/mc6800/libem/and.s b/mach/mc6800/libem/and.s
new file mode 100644
index 0000000000..a168950bb0
--- /dev/null
+++ b/mach/mc6800/libem/and.s
@@ -0,0 +1,45 @@
+.define And
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine performs logical and on  two fourbyte integers,
+! which are on the stack.
+! The result is pushed back onto the stack
+
+! AccAB     number of bytes (n)
+! +0        rerurn address
+! +2  , n+1 nbyte integer
+! +n+2,2n+1 nbyte integer (and result)
+
+And:
+	tsx
+	ldx 0,x
+	stx TMP
+	ins	! skip return address
+	ins
+	tsx
+	stab TMP+1	! save number of bytes
+	beq 1f
+	inca
+1:	staa TMP
+	stx ADDR
+	addb ADDR+1	! calculate result address
+	adca ADDR
+	stab ADDR+1
+	staa ADDR
+	ldx ADDR
+	ldab TMP+1
+2:
+	pula
+	anda 0,x
+	staa 0,x
+	inx
+	decb
+	bne 2b
+	dec TMP
+	bne 2b
+	jmp 0,x
diff --git a/mach/mc6800/libem/and4.s b/mach/mc6800/libem/and4.s
new file mode 100644
index 0000000000..98eb7b1958
--- /dev/null
+++ b/mach/mc6800/libem/and4.s
@@ -0,0 +1,38 @@
+.define And4
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine performs logical and on  two fourbyte integers,
+! which are on the stack.
+! The result is pushed back onto the stack
+
+! +0    rerurn address
+! +2,+5 4byte integer
+! +6,+9 4byte integer (and result)
+
+And4:
+	tsx
+	ldab 9,x
+	ldaa 8,x
+	andb 5,x
+	anda 4,x
+	stab 9,x
+	staa 8,x
+	ldab 7,x
+	ldaa 6,x
+	andb 3,x
+	anda 2,x
+	stab 7,x
+	staa 6,x
+	ldx 0,x
+	ins
+	ins
+	ins
+	ins
+	ins
+	ins
+	jmp 0,x
diff --git a/mach/mc6800/libem/blm.s b/mach/mc6800/libem/blm.s
new file mode 100644
index 0000000000..7917a18179
--- /dev/null
+++ b/mach/mc6800/libem/blm.s
@@ -0,0 +1,58 @@
+.define Blm
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine copies bytes from one place in memory to another.
+! The destinationaddress is in registerpair AB and is stored
+! in zeropage locations ADDR+2 and ADDR+3.
+! The source address is popped from the stack and stored in
+! zeropage locations ADDR and ADDR+1.
+! The number of bytes is in zeropage location NBYTES
+! The subroutine Blmnp is used when the source and destination
+! addresses are already in zeropage.
+
+! NBYTES:
+!	number of bytes to transfer (n>0)
+! Stack:
+! +0	return addrrss
+! +2	destination address
+! +4	source address
+
+Blm:
+	tsx
+	ldx 0,x
+	stx <TMP	! return addrrss
+	tsx
+	ldx 2,x
+	stx <ADDR+2	! destination address
+	tsx
+	ldx 4,x		! source address
+	stx <ADDR
+	ldab <NBYTES+1
+	beq 1f
+	inc NBYTES
+    1:	ldx <ADDR
+	ldaa 0,x
+	inx
+	stx <ADDR
+	ldx <ADDR+2
+	staa 0,x
+	inx
+	stx <ADDR+2
+	decb
+	bne 1b
+	dec NBYTES
+	bne 1b		! do it n times
+	ins
+	ins
+	ins
+	ins
+	ins
+	ins
+	ldx <TMP
+	jmp 0,x
+
diff --git a/mach/mc6800/libem/build.py b/mach/mc6800/libem/build.py
new file mode 100644
index 0000000000..8bedaec5da
--- /dev/null
+++ b/mach/mc6800/libem/build.py
@@ -0,0 +1,10 @@
+from build import PLATS
+from build.ack import ackclibrary
+from glob import glob
+
+for plat in PLATS:
+    ackclibrary(
+        name=f"lib_{plat}",
+        srcs=glob("mach/mc6800/libem/*.s"),
+        plat=plat,
+    )
diff --git a/mach/mc6800/libem/cii.s b/mach/mc6800/libem/cii.s
new file mode 100644
index 0000000000..d51da30904
--- /dev/null
+++ b/mach/mc6800/libem/cii.s
@@ -0,0 +1,98 @@
+.define Cii
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine converts integers to integers.
+! Convertions of integers with the same source size as destination
+! size aren't done, there just return the source.
+! A convertion from 4 bytes to 2 bytes just strips the two
+! most significant bytes.
+! A convertion from 2 bytes to 4 bytes tests the sign of the
+! source so that sign extentension takes place if neccesairy.
+
+
+! AccAB: convert to
+! Stack:
+! +0,+1: return address
+! +2,+3: convert from
+! +4,+5: convert value low word
+! +6,+7: (high word when dword)
+
+Cii:
+	tsx
+	ldx 0,x		! get return address
+	ins
+	ins
+	cmpb #1
+	beq Cii_1	! a conversion from ? to 1
+	cmpb #2
+	beq Cii_2	! a conversion from ? to 2
+	pula		! a conversion from ? to 4
+	pulb
+!
+Cii_4:	cmpb #4
+	bne 1f		! a conversion 4 to 4 (skip)
+	pula		! top half word to R16
+	pulb
+	jmp 0,x
+!
+1:	cmpb #1
+	bne 2f
+	pula		! a conversion 1 to 4
+	pulb
+	pshb
+	clra		! sign extend
+	aslb
+	sbca #0
+	psha		! push upper byte
+	tab		! top half word is equal to sign
+	jmp 0,x
+2:	pulb		! a conversion 2 to 4
+	pshb
+	clra
+	rolb
+	sbca #0		! sign extend
+	tab
+	jmp 0,x
+!
+Cii_1:			! a conversion from ? to 1
+	pula
+	pulb
+	cmpb #1
+	beq 5f		! a conversion from 1 to 1 (skip)
+3:	cmpb #2
+	beq 5f 		! a conversion from 2 to 1
+4:	ins		! a conversion from 4 to 1	
+	ins
+5:	pula	
+	pulb
+	clra
+	jmp 0,x
+!
+Cii_2:			! a conversion from ? to 2
+	pula
+	pulb
+	cmpb #1		! a conversion from 1 to 2 ?
+	bne 2f
+	pula
+	pulb
+	clra
+	asrb
+	rolb
+	sbca #0
+	jmp 0,x
+!
+2:	cmpb #2
+	beq 3f		! a conversion from 2 to 2 (skip)
+	ins		! a conversion from 4 to 2
+	ins
+	pula
+	pulb
+	jmp 0,x
+3:	pula
+	pulb
+8:	jmp 0,x
diff --git a/mach/mc6800/libem/cmi.s b/mach/mc6800/libem/cmi.s
new file mode 100644
index 0000000000..9d63798586
--- /dev/null
+++ b/mach/mc6800/libem/cmi.s
@@ -0,0 +1,43 @@
+.define Cmi
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine compares on two integers.
+!   -1  if S < T,
+!    0  if S = T,
+!    1  if S > T.
+
+! AccAB: T
+! stack:
+! +0:	return address
+! +2:	S
+
+
+Cmi:
+	tsx
+	subb 3,x	! T - S
+	sbca 2,x
+	blt 1f		! S > T
+	bgt 3f		! S < T
+	tstb
+	bne 3f		! S != T  (i.e S < T)
+			! S == T, AccAB already zero.
+2:
+	ldx 0,x
+	ins
+	ins
+	ins
+	ins
+	jmp 0,x
+1:
+	ldab #1		! S > T
+	clra		! AB becomes 1
+	bra 2b
+3:
+	ldab #0xff	! S < T
+	tba		! AB becomes -1
+	bra 2b
diff --git a/mach/mc6800/libem/cmi2.s b/mach/mc6800/libem/cmi2.s
new file mode 100644
index 0000000000..595807b082
--- /dev/null
+++ b/mach/mc6800/libem/cmi2.s
@@ -0,0 +1,42 @@
+.define Cmi2
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine compares on two unsigned integers.
+!   -1  if S < T,
+!    0  if S = T,
+!    1  if S > T.
+
+! AccAB: S
+! Stack:
+! +0:	return address
+! +2:	T
+
+Cmi2:
+	tsx
+	subb 3,x	! S - T
+	sbca 2,x
+	blt 3f		! S < T
+	bgt 2f		! S > T
+	tstb
+	bne 2f		! S != T  (i.e S > T)
+			! S == T, AccAB already zero
+1:
+	ldx 0,x
+	ins
+	ins
+	ins
+	ins
+	jmp 0,x
+2:
+	ldab #1		! S > T
+	clra		! AccAB = 1
+	bra 1b
+3:
+	ldab #0xff	! S < T
+	tba		! AccAB = -1
+	bra 1b
diff --git a/mach/mc6800/libem/cmi4.s b/mach/mc6800/libem/cmi4.s
new file mode 100644
index 0000000000..b56a99c0a9
--- /dev/null
+++ b/mach/mc6800/libem/cmi4.s
@@ -0,0 +1,60 @@
+.define Cmi4
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine compares on fourbyte unsigned integers.
+!    -1   if S < T,
+!     0   if S = T,
+!     1   if S > T.
+
+! Stack
+! +0 to +1 : return address
+! +2 to +5 : T
+! +6 to +9 : S
+
+Cmi4:
+	tsx
+	ldab 6,x
+	cmpb 2,x
+	blt 2f
+	bgt 3f
+	ldab 7,x
+	cmpb 3,x
+	bcs 2f
+	bhi 3f
+	ldab 8,x
+	cmpb 4,x
+	bcs 2f
+	bhi 3f
+	ldaa 9,x
+	cmpa 5,x
+	bcs 2f
+	bhi 3f
+! equal
+1:	! AccA,B already 0
+	ldx 0,x
+	ins
+	ins
+	ins
+	ins
+	ins
+	ins
+	ins
+	ins
+	ins
+	ins
+	jmp 0,x
+! S < T
+2:
+	ldab #0xff
+	tba
+	bra 1b
+! S > T
+3:
+	ldab #1
+	clra
+	bra 1b
diff --git a/mach/mc6800/libem/cms.s b/mach/mc6800/libem/cms.s
new file mode 100644
index 0000000000..b65a44100c
--- /dev/null
+++ b/mach/mc6800/libem/cms.s
@@ -0,0 +1,117 @@
+.define Cms
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine compares two groups of bytes, bit for bit.
+! The groups can consist of 2 or 4 bytes. This number is in
+! register AccB.
+! The address of the first group is stored in zeropage locations
+! ADDR and ADDR+1, the address of the second group in ADDR+2 and ADDR+3
+! The routine returns a 0 on equality, a 1 otherwise.
+
+! AccAB:
+!		size of group (byte)
+! Stack:
+! +0		return address
+! +2,  2+n-1
+! +2+n,2+n*2-1
+
+
+Cms:
+	tsx
+	ldx 0,x		! get return address
+	ins
+	ins
+	stx <TMP
+	tsx
+	tsta
+	bne Cms_N
+	cmpb #2
+	beq Cms_2	! 2byte compare
+	cmpb #4
+	beq Cms_4	! 4byte compara
+!
+Cms_N:
+	stab <ARTH+1	! size of gtoup (byte)
+	staa <ARTH
+	stx <ADDR
+	addb <ADDR+1
+	adca <ADDR
+	stab <ADDR+1	! save top + size
+	staa <ADDR
+	addb <ARTH+1
+	adca <ARTH
+	stab <ADDR+3	! save top + size*2
+	staa <ADDR+2
+!
+	ldx <ADDR
+!
+1:	pulb
+	cmpb 0,x
+	bne 9f
+	inx
+	cpx <ADDR+2
+	bne 1b
+!
+	clrb
+8:	clra
+	txs		! X==ADDR+2 (top + size*2)
+	ldx TMP
+	jmp 0,x
+9:
+	ldab #1
+	ldx <ADDR+2
+	bra 8b
+!
+Cms_2:
+	ldx 0,x		! get first group
+	stx <ARTH
+	tsx
+	ldx 2,x		! compare second group
+	ins
+	ins
+	ins
+	ins
+	cpx <ARTH
+!
+	beq 1f
+	ldab #1
+	bra 2f
+1:	clrb
+2:	clra
+	ldx <TMP
+	jmp 0,x
+!
+Cms_4:
+	clrb
+	ldx 0,x		! get first group
+	stx <ARTH
+	tsx
+	ldx 2,x
+	stx <ARTH+2
+	tsx
+	ldx 4,x		! get second group
+	cpx <ARTH
+	bne 2f
+	tsx
+	ldx 6,x
+	cpx <ARTH+2
+	bne 2f
+1:	clrb
+	bra 3f
+2:	ldab #1
+3:	clra
+	ins
+	ins
+	ins
+	ins
+	ins
+	ins
+	ins
+	ins
+	ldx <TMP
+	jmp 0,x
diff --git a/mach/mc6800/libem/cmu.s b/mach/mc6800/libem/cmu.s
new file mode 100644
index 0000000000..ea0f1cfb01
--- /dev/null
+++ b/mach/mc6800/libem/cmu.s
@@ -0,0 +1,43 @@
+.define Cmu
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine compares on two integers.
+!   -1  if S < T,
+!    0  if S = T,
+!    1  if S > T.
+
+! AccAB: T
+! stack:
+! +0:	return address
+! +2:	S
+
+
+Cmu:
+	tsx
+	subb 3,x	! T - S
+	sbca 2,x
+	bcs 1f		! S > T
+	bhi 3f		! S < T
+	tstb
+	bne 3f		! S != T  (i.e S < T)
+			! S == T, AccAB already zero.
+2:
+	ldx 0,x
+	ins
+	ins
+	ins
+	ins
+	jmp 0,x
+1:
+	ldab #1		! S > T
+	clra		! AB becomes 1
+	bra 2b
+3:
+	ldab #0xff	! S < T
+	tba		! AB becomes -1
+	bra 2b
diff --git a/mach/mc6800/libem/cmu2.s b/mach/mc6800/libem/cmu2.s
new file mode 100644
index 0000000000..441a37dea7
--- /dev/null
+++ b/mach/mc6800/libem/cmu2.s
@@ -0,0 +1,42 @@
+.define Cmu2
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine compares on two signed integers.
+!   -1  if S < T,
+!    0  if S = T,
+!    1  if S > T.
+
+! AccAB: T
+! Stack:
+! +0:	return address
+! +2:	S
+
+Cmu2:
+	tsx
+	subb 3,x	! T - S
+	sbca 2,x
+	bcs 2f		! S > T
+	bhi 3f		! S < T
+	tstb
+	bne 3f		! S != T  (i.e S < T)
+			! S == T, AccAB already zero.
+1:
+	ldx 0,x
+	ins
+	ins
+	ins
+	ins
+	jmp 0,x
+2:
+	ldab #1		! S > T
+	clra		! AccAB = 1
+	bra 1b
+3:
+	ldab #0xff	! S < T
+	tba		! AccAB = -1
+	bra 1b
diff --git a/mach/mc6800/libem/cmu4.s b/mach/mc6800/libem/cmu4.s
new file mode 100644
index 0000000000..f7b0088c84
--- /dev/null
+++ b/mach/mc6800/libem/cmu4.s
@@ -0,0 +1,60 @@
+.define Cmu4
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine compares on fourbyte unsigned integers.
+!    -1   if S < T,
+!     0   if S = T,
+!     1   if S > T.
+
+! Stack
+! +0 to +1 : return address
+! +2 to +5 : T
+! +6 to +9 : S
+
+Cmu4:
+	tsx
+	ldab 6,x
+	cmpb 2,x
+	bcs 2f
+	bhi 3f
+	ldab 7,x
+	cmpb 3,x
+	bcs 2f
+	bhi 3f
+	ldab 8,x
+	cmpb 4,x
+	bcs 2f
+	bhi 3f
+	ldaa 9,x
+	cmpa 5,x
+	bcs 2f
+	bhi 3f
+! equal
+1:	! AccA,B already 0
+	ldx 0,x
+	ins
+	ins
+	ins
+	ins
+	ins
+	ins
+	ins
+	ins
+	ins
+	ins
+	jmp 0,x
+! S < T
+2:
+	ldab #0xff
+	tba
+	bra 1b
+! S > T
+3:
+	ldab #1
+	clra
+	bra 1b
diff --git a/mach/mc6800/libem/csa.s b/mach/mc6800/libem/csa.s
new file mode 100644
index 0000000000..a35e48177d
--- /dev/null
+++ b/mach/mc6800/libem/csa.s
@@ -0,0 +1,73 @@
+.define Csa,CsaX
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine performs the case jump by searching the table.
+! The zeropage locations ADDR, ADDR+1 contain the address of the
+! case descriptor, which also is the address of the default pointer.
+
+!
+! Csa:
+! TOS: switch value
+! AccAB: jump table address
+!
+! CsaX:
+! AccAB: switch value
+! IX: jump table address
+!
+
+! case_table: <- (AccAB)
+! default_addr: .data2 adrs
+! +2 lower bound: .data2 num1
+! +4 upper bound: .data2 num2
+! +6 jump_addr:	.data2 adrs	/* case num1: */
+! +8 jump_addr:	.data2 adrs	/* case num1+1: */
+!
+
+! example:
+! case 2: case 3: case 4:
+!	lower bound 2
+!	upper bound 2 (4-2)
+!
+
+Csa:
+	stab <ADDR+1	! address of descriptor (lowbyte)
+	staa <ADDR	! address of descriptor (highbyte)
+	ldx <ADDR
+	pula
+	pulb
+CsaX:	stx <ADDR
+	stab ARTH+3	! save switch value
+	staa ARTH+2
+	subb 3,x	! lower bound case
+	sbca 2,x
+	blt 9f		! value < lower
+	stab ARTH+1	! save value-lower
+	staa ARTH
+	subb 5,x	! upper bound case
+	sbca 4,x
+	bgt 9f		! value > upper bound
+	blt 1f
+	tstb
+	bne 9f
+! jump table
+1:
+	ldab ARTH+1
+	ldaa ARTH
+	aslb
+	rola
+	addb ADDR+1
+	adca ADDR
+	addb #6		! skip to jump table
+	adca #0
+	stab ADDR+1
+	staa ADDR
+	ldx ADDR
+! default
+9:
+	ldx 0,x
+	jmp 0,x
diff --git a/mach/mc6800/libem/csb.s b/mach/mc6800/libem/csb.s
new file mode 100644
index 0000000000..aec444590f
--- /dev/null
+++ b/mach/mc6800/libem/csb.s
@@ -0,0 +1,66 @@
+.define Csb,CsbX
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine performs the case jump by searching the table.
+! The zeropage locations ADDR, ADDR+1 contain the address of the
+! case descriptor, which also is the address of the default pointer.
+
+!
+! case_table:	Csb:AccAB, CsbX:IX
+! default_addr: .data2 adrs
+! num_of_case:	.data2 num
+! case_1:	.data2 num
+! jump_addr:	.data2 adrs
+! case_2:	.data2 num
+! jump_addr:	.data2 adrs
+!
+
+! switch value: TOS:Csb, AccAB:CsbX
+! 
+
+CsbX:	pshb
+	psha
+	stx <ADDR
+	bra 0f
+Csb:
+	stab <ADDR+1	! address of descriptor (lowbyte)
+	staa <ADDR	! address of descriptor (highbyte)
+	ldx <ADDR
+0:	inx
+	inx
+	ldab 1,x	! number of entries (lowbyte)
+	ldaa 0,x
+	stab <TMP+1
+	beq 1f
+	inca
+1:	staa <TMP
+	inx
+	inx	
+!
+	pula		! get switch value
+	pulb
+2:
+	cmpb 1,x
+	bne 3f		! next case
+	cmpa 0,x
+	bne 3f		! next case
+! match
+	ldx 2,x
+	jmp 0,x
+! next
+3:
+	inx
+	inx
+	inx
+	inx
+	dec TMP+1
+	bne 2b
+! default
+	ldx <ADDR
+	ldx 0,x
+	jmp 0,x
diff --git a/mach/mc6800/libem/data.s b/mach/mc6800/libem/data.s
new file mode 100644
index 0000000000..38f4e99c53
--- /dev/null
+++ b/mach/mc6800/libem/data.s
@@ -0,0 +1,43 @@
+.define EARRAY,ERANGE,ESET,EIOVFL
+.define ECONV,ESTACK
+.define EHEAP,EODDZ,ECASE
+.define EBADMON,EBADLIN,EBADGTO
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This file contains the global data used by the trap routine.
+
+
+! DATA
+.sect .data
+EARRAY:
+.asciz	"Array bound error\n\r"
+ERANGE:
+.asciz	"Range bound error\n\r"
+ESET:
+.asciz	"Set bound error\n\r"
+EIOVFL:
+.asciz	"Integer overflow\n\r"
+ECONV:
+.asciz	"Conversion error\n\r"
+ESTACK:
+.asciz	"Stack overflow\n\r"
+EHEAP:
+.asciz	"Heap overflow\n\r"
+EODDZ:
+.asciz	"Illegal size argument\n\r"
+ECASE:
+.asciz	"Case error\n\r"
+EBADMON:
+.asciz	"Bad monitor call\n\r"
+EBADLIN:
+.asciz	"Argument of LIN to high\n\r"
+EBADGTO:
+.asciz	"GTO descriptor error\n\r"
+
+
+
diff --git a/mach/mc6800/libem/dum_float.s b/mach/mc6800/libem/dum_float.s
new file mode 100644
index 0000000000..1a199d6eeb
--- /dev/null
+++ b/mach/mc6800/libem/dum_float.s
@@ -0,0 +1,65 @@
+.define Adf4
+.define Adf8
+.define Sbf4
+.define Sbf8
+.define Mlf4
+.define Mlf8
+.define Dvf4
+.define Dvf8
+.define Ngf4
+.define Ngf8
+.define Zrf4
+.define Zrf8
+.define Cmf4
+.define Cmf8
+.define Fef4
+.define Fef8
+.define Fif4
+.define Fif8
+.define Cfi
+.define Cif
+.define Cuf
+.define Cff
+.define Cfu
+.define Lfr8
+.define Ret8
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! Dummy floating point package for 6500
+! every EM floating point instruction results in an
+! "Illegal EM instruction" trap.
+
+
+Adf4:
+Adf8:
+Sbf4:
+Sbf8:
+Mlf4:
+Mlf8:
+Dvf4:
+Dvf8:
+Ngf4:
+Ngf8:
+Zrf4:
+Zrf8:
+Cmf4:
+Cmf8:
+Fef4:
+Fef8:
+Fif4:
+Fif8:
+Cfi:
+Cif:
+Cuf:
+Cff:
+Cfu:
+Lfr8:
+Ret8:
+	ldab #Eillins
+	clra
+	jsr Trap
diff --git a/mach/mc6800/libem/dup.s b/mach/mc6800/libem/dup.s
new file mode 100644
index 0000000000..77a1d465a0
--- /dev/null
+++ b/mach/mc6800/libem/dup.s
@@ -0,0 +1,49 @@
+.define Dup,DupX,DupAB
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine duplicate's the top n bytes.
+
+! IX:		n: number of bytes to copy
+! Stack:
+! +0		return address
+! +2..+2+n-1	copy data
+
+Dup:
+	tsx
+	ldx	0,x
+	stx	<TMP
+	ins
+	ins
+	pula
+	pulb
+	bra	0f
+DupX:
+	stx	<NBYTES
+	ldab	<NBYTES+1
+	ldaa	<NBYTES
+DupAB:
+	tsx
+	ldx	0,x
+	stx	<TMP
+	ins
+	ins
+0:
+	tsx
+	stx	<ADDR
+	addb	<ADDR+1
+	adca	<ADDR
+	stab	<ADDR+3		! copy end address+1
+	staa	<ADDR+2
+	ldx	<ADDR+2
+1:	dex
+	ldab	0,x
+	pshb
+	cpx	<ADDR
+	bne	1b
+	ldx	<TMP
+	jmp	0,x
diff --git a/mach/mc6800/libem/dup4.s b/mach/mc6800/libem/dup4.s
new file mode 100644
index 0000000000..6636789554
--- /dev/null
+++ b/mach/mc6800/libem/dup4.s
@@ -0,0 +1,30 @@
+.define Dup
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine duplicate's the top 4 bytes.
+
+! IX:		n: number of bytes to copy
+! Stack:
+! +0		return address
+! +2..+5	copy data
+
+Dup:
+	tsx
+	ldx	0,x
+	stx	TMP
+	ins
+	ins
+	ldab	5,x
+	ldaa	4,x
+	pshb
+	psha
+	ldab	3,x
+	ldaa	2,x
+	pshb
+	psha
+	jmp	0,x
diff --git a/mach/mc6800/libem/dvi.s b/mach/mc6800/libem/dvi.s
new file mode 100644
index 0000000000..69710ea05b
--- /dev/null
+++ b/mach/mc6800/libem/dvi.s
@@ -0,0 +1,162 @@
+.define Dvi2, Dvu2, Dvi, Dvu, Div16x16
+.define Rmi2, Rmu2, Rmi, Rmu
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! The subroutine Dvi2 performs a signed division.
+! Its operands are on the stack.
+! The subroutine Dvi performs also a signed division, ecxept that
+! its operand are already in zeropage.
+! The subroutine Dvu performs a n unsigned division.
+
+
+!
+!	stack frame:
+!	+0,+1: return address
+!	+2,+3: diviend
+!
+Store:
+	stab <ARTH+1	! store divisor
+	staa <ARTH
+	ldab 3,x
+	ldaa 2,x
+	stab <ARTH+3	! store dividend
+	staa <ARTH+2
+	rts
+Dvi2:
+	tsx
+	bsr Store
+	bsr DviSub
+1:
+	tsx
+	ldx 0,x
+	ins
+	ins
+	ins
+	ins
+	jmp 0,x
+!
+Dvu2:
+	tsx
+	bsr Store
+	bsr DvuSub
+	bra 1b
+!
+Dvi:
+	stab <ARTH+3	! store dividend
+	staa <ARTH+2
+DviSub:
+	ldaa <ARTH
+	staa <SIGN
+	bpl 1f
+	nega
+	neg ARTH+1
+	sbca #0
+	staa <ARTH
+1:
+	ldaa <ARTH+2
+	bpl 2f
+	nega
+	neg ARTH+3
+	sbca #0
+	staa <ARTH+2
+	com SIGN
+2:
+	bsr Div16x16
+	ldab <ARTH+3
+	ldaa <ARTH+2
+	tst SIGN
+	bpl 3f
+	nega
+	negb
+	sbca #0
+3:
+	rts
+!	
+Dvu:
+	stab <ARTH+3	! store dividend
+	staa <ARTH+2
+DvuSub:
+	bsr Div16x16
+	ldab <ARTH+3
+	ldaa <ARTH+2
+	rts
+!
+Rmu:
+	stab <ARTH+3	! store dividend
+	staa <ARTH+2
+RmuSub:
+!
+Div16x16:
+	ldx #16		! loop counter
+	clra
+	clrb		! carry is also cleared
+8:
+	rol ARTH+3	! shift divient
+	rol ARTH+2
+	rolb
+	rola
+	subb <ARTH+1	! divisor
+	sbca <ARTH
+	bcc 9f
+	addb <ARTH+1
+	adca <ARTH	! C must 1
+9:
+	dex		! quotient bit will be added to ARTH+3 at next loop.
+	bne 8b
+	rol ARTH+3	! Shift to get the remaining quotient 1 bit
+	rol ARTH+2
+	com ARTH+3
+	com ARTH+2
+	rts
+!
+Rmi2:
+	tsx
+	jsr Store
+	bsr RmiSub
+1:
+	tsx
+	ldx 0,x
+	ins
+	ins
+	ins
+	ins
+	jmp 0,x
+!
+Rmu2:
+	tsx
+	jsr Store
+	jsr RmuSub
+	bra 1b
+!
+Rmi:
+	stab <ARTH+3	! store dividend
+	staa <ARTH+2
+RmiSub:
+	ldaa <ARTH
+	bpl 1f
+	nega
+	neg ARTH+1
+	sbca #0
+	staa <ARTH
+1:
+	ldaa <ARTH+2
+	staa <SIGN
+	bpl 2f
+	nega
+	neg ARTH+3
+	sbca #0
+	staa <ARTH+2
+2:
+	jsr RmuSub
+	tst SIGN
+	bpl 3f
+	nega
+	negb
+	sbca #0
+3:
+	rts
diff --git a/mach/mc6800/libem/dvi4.s b/mach/mc6800/libem/dvi4.s
new file mode 100644
index 0000000000..d3e0ca8f7c
--- /dev/null
+++ b/mach/mc6800/libem/dvi4.s
@@ -0,0 +1,188 @@
+.define Dvi4, Dvu4, Div32x32
+.define Rmi4, Rmu4
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! The subroutine Dvi2 performs a signed division.
+! Its operands are on the stack.
+! The subroutine Dvi performs also a signed division, ecxept that
+! its operand are already in zeropage.
+! The subroutine Dvu performs a n unsigned division.
+
+
+!
+!	stack frame:
+!	+0,+1: return address
+!	+2,+5: divisor (ARTH, ARTH+3)
+!	+6,+9,: diviend (ARTH+4, ARTH_7)
+!
+Store:
+	ldab 9,x
+	ldaa 8,x
+	stab <ARTH+7	! store dividend
+	staa <ARTH+6
+	ldab 7,x
+	ldaa 6,x
+	stab <ARTH+5
+	staa <ARTH+4
+!
+	ldab 5,x
+	ldaa 4,x
+	stab <ARTH+3
+	staa <ARTH+2
+	ldab 3,x
+	ldaa 2,x
+	stab <ARTH+1
+	staa <ARTH
+	rts
+!
+neg4:
+	com 0,x
+	com 1,x
+	com 2,x
+	neg 3,x
+	bne 1f
+	inc 2,x
+	bne 1f
+	inc 1,x
+	bne 1f
+	inc 0,x
+1:
+	rts
+!
+Dvi4:
+	tsx
+	bsr Store
+!
+	ldaa <ARTH
+	staa <SIGN
+	bpl 1f
+	ldx #ARTH
+	bsr neg4
+1:
+	ldaa <ARTH+4
+	bpl 2f
+	ldx #ARTH+4
+	bsr neg4
+2:
+	bsr Div32x32
+	tst SIGN
+	bpl 3f
+	ldx #ARTH+4
+	bsr neg4
+!	
+3:
+	tsx
+	ldab <ARTH+7
+	ldaa <ARTH+6
+	stab 9,x
+	staa 8,x
+	ldab <ARTH+5
+	ldaa <ARTH+4
+	stab 7,x
+	staa 6,x
+Div4Ret:
+	ldx 0,x
+	ins
+	ins
+	ins
+	ins
+	ins
+	ins
+	jmp 0,x
+!
+Dvu4:
+	tsx
+	bsr Store
+	bsr Div32x32
+	bra 3b
+!
+!
+Div32x32:
+	ldx #32		! loop counter
+	clra
+	clrb
+	clr ARTH+9
+	clr ARTH+8
+			! here, carry = 0
+2:
+	asl ARTH+7	! shift divient
+	rol ARTH+6
+	rol ARTH+5
+	rol ARTH+4
+	rolb
+	rola
+	rol ARTH+9
+	rol ARTH+8
+	subb <ARTH+3	! divisor
+	sbca <ARTH+2
+	pshb
+	psha
+	ldab <ARTH+9
+	ldaa <ARTH+8
+	sbcb <ARTH+1
+	sbca <ARTH
+	bcs 8f
+	stab <ARTH+9
+	stab <ARTH+8
+	pula
+	pulb
+	inc ARTH+7
+	bra 9f
+8:
+	pula
+	pulb
+	addb <ARTH+3
+	adca <ARTH+2
+9:
+	dex		! quotient bit will be added to ARTH+3 at next loop.
+	bne 2b
+	rts
+!
+Rmi4:
+	tsx
+	jsr Store
+	ldaa <ARTH
+	bpl 1f
+	ldx #ARTH
+	jsr neg4
+1:
+	ldaa <ARTH+4
+	staa <SIGN
+	bpl 2f
+	ldx #ARTH+4
+	jsr neg4
+2:
+	jsr Div32x32
+	tst SIGN
+	bpl 8f
+	com ARTH
+	com ARTH+1
+	coma
+	negb
+	bne 8f
+	inca
+	bne 8f
+	inc ARTH+1
+	bne 8f
+	inc ARTH
+8:
+	tsx
+	stab 9,x
+	staa 8,x
+	ldab ARTH+9
+	ldaa ARTH+8
+	stab 7,x
+	staa 6,x
+9:
+	jmp Div4Ret
+!
+Rmu4:
+	tsx
+	jsr Store
+	jsr Div32x32
+	bra 8b
diff --git a/mach/mc6800/libem/exg.s b/mach/mc6800/libem/exg.s
new file mode 100644
index 0000000000..0a723a122b
--- /dev/null
+++ b/mach/mc6800/libem/exg.s
@@ -0,0 +1,59 @@
+.define Exg
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine exchanges two groups of bytes on the top of the
+! stack. The groups may consist of atmost 255 bytes.
+! This number is in register Y.
+! The exchange is from ADDR, ADDR+1 to ADDR+2, ADDR+3
+
+! AccAB: n (bytes)
+! Stack:
+! +0,+1:     return address
+! +2,+n+1:   first group
+! +n+2,+2n+1:second group
+
+Exg:
+	tsx
+	ldx 0,x
+	stx <TMP
+	ins
+	ins
+	tsx
+	stx <ADDR
+!
+	stab <ARTH+1
+	staa <ARTH
+	addb <ADDR+1	! calculate second group's address
+	adca <ADDR
+	stab <ADDR+3
+	staa <ADDR+2
+!
+	ldab <ARTH+1	! adjust size for loop
+	beq 1f
+	inc ARTH
+1:
+!	ldx <ADDR
+	dex
+2:
+	inx
+	ldab 0,x
+	stx <ADDR
+	ldx <ADDR+2
+	ldaa 0,x
+	stab 0,x
+	inx
+	stx <ADDR+2
+	ldx <ADDR
+	staa 0,x
+	dec ARTH+1
+	bne 2b
+	dec ARTH
+	bne 2b
+!
+	ldx <TMP
+	jmp 0,x
diff --git a/mach/mc6800/libem/gto.s b/mach/mc6800/libem/gto.s
new file mode 100644
index 0000000000..762186656f
--- /dev/null
+++ b/mach/mc6800/libem/gto.s
@@ -0,0 +1,38 @@
+.define Gto
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine performs the non_local goto.
+! The address of the descriptor is stored in zeropage locations
+! ADDR, ADDR+1.
+! Since there are two stacks (hardware_stack and the real_stack),
+! the stackpointer of the hard_stack is resetted by searching the
+! new localbase in the real_stack while adjusting the hardware_stack.
+
+!
+! IX:	address of descriptor
+!
+! IX+0:	new PC
+! IX+2:	new SP
+! IX+4:	new LB
+
+Gto:
+	stx <ADDR
+	ldx 4,x
+	stx <LB
+	ldab <LB+1
+	ldaa <LB
+	subb #BASE
+	sbca #0
+	stab <LBl+1
+	staa <LBl
+	ldx <ADDR
+	ldx 2,x
+	txs
+	ldx  <ADDR
+	ldx 0,x
+	jmp 0,x
diff --git a/mach/mc6800/libem/inn.s b/mach/mc6800/libem/inn.s
new file mode 100644
index 0000000000..001325546f
--- /dev/null
+++ b/mach/mc6800/libem/inn.s
@@ -0,0 +1,87 @@
+.define Inn
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine checks if a certain bit is set in a set
+! of n bytes on top of the stack.
+
+! AccAB: data size
+! Stack:
+! +0,+1: return address
+! +2,+3: bit number
+! +4...: data
+
+Inn:
+	tsx
+	ldx 0,x
+	stx <TMP
+	ins
+	ins
+!
+	stab <ARTH+1	! save data size
+	staa <ARTH
+!
+	tsx
+	inx
+	inx
+	stx <ADDR	! save top of data address
+	addb <ADDR+1
+	adca <ADDR
+	stab <ADDR+3	! save end of data address
+	staa <ADDR+2
+!
+	pula		! get bit number
+	pulb
+!
+	stab <ARTH+3	! save bit number
+	staa <ARTH+2
+!
+	bmi 7f		! bit number < 0
+!
+	lsra		! bit/8
+	rorb
+	lsra
+	rorb
+	lsra
+	rorb
+!
+	pshb
+	psha
+	subb <ARTH+1	! check in range
+	sbca <ARTH
+	bpl	7f	! (bit number/8)>=size
+!
+	pula
+	pulb
+	addb <ADDR+1	! calcucalte data address
+	adca <ADDR
+	eorb #1		! byte swap
+	stab <ADDR+1
+	staa <ADDR
+	ldx <ADDR
+!
+	ldaa #1		! bit pos
+	ldab <ARTH+3	! get bit number
+	andb #7		! bit number % 8
+	beq 2f
+1:
+	asla
+	decb
+	bne 1b
+2:
+!			! here, AccB==0
+	anda 0,x	! bit(i,s)
+	beq 9f
+	incb
+	bra 8f
+!
+7:	clrb
+8:	clra
+9:	ldx <ADDR+2	! adjust stack
+	txs
+	ldx <TMP
+	jmp 0,x
diff --git a/mach/mc6800/libem/lcs.s b/mach/mc6800/libem/lcs.s
new file mode 100644
index 0000000000..bff8d007d6
--- /dev/null
+++ b/mach/mc6800/libem/lcs.s
@@ -0,0 +1,28 @@
+.define Lcs
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine creates space for locals on procedure entry
+! by lowering the stackpointer.
+
+! For faster execution, AccAB is passed to Lcs with inverted sign,
+!  which reduces STA usage. see mach/mc6800/cg/mach.c
+
+Lcs:
+	tsx
+	ldx 0,x
+	ins
+	ins
+	sts TMP
+	addb TMP+1
+	adca TMP
+	stab TMP+1
+	staa TMP
+	lds TMP
+	jmp 0,x
+
+
diff --git a/mach/mc6800/libem/mli.s b/mach/mc6800/libem/mli.s
new file mode 100644
index 0000000000..39c58c20d8
--- /dev/null
+++ b/mach/mc6800/libem/mli.s
@@ -0,0 +1,53 @@
+.define Mli2, Mli, Mlix
+.define Mlu2, Mlu, Mlux
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+
+! The subroutine Mli2 multiplies two signed integers. The integers
+! are popped from the stack.
+! The subroutine Mlinp expects the two integer to be in zeropage.
+! While the subroutine Mul an unsigned multiply subroutine is.
+
+! Mli2, Mlu2:	multiply AccAB * TOS
+! Mlix, Mlux:	multiply AccAB * IX
+! Mli,  Mlu:	multiply AccAB * ARTH
+
+.sect .text
+Mli2:
+Mlu2:
+	stab <ARTH+1
+	staa <ARTH
+	tsx
+	ldx 0,x
+	stx <TMP
+	ins
+	ins
+	pula
+	pulb
+	bsr Mlu
+	ldx <TMP
+	jmp 0,x
+Mlix:
+Mlux:
+	stx <ARTH
+Mli:
+Mlu:
+	stab <ARTH+3
+	staa <ARTH+2
+	clrb
+	clra
+    	ldx #16
+1:
+	aslb
+	rola
+	rol ARTH+1
+	rol ARTH
+	bcc 2f
+	addb <ARTH+3
+	adca <ARTH+2
+2:	dex
+	bne 1b
+	rts
diff --git a/mach/mc6800/libem/mli4.s b/mach/mc6800/libem/mli4.s
new file mode 100644
index 0000000000..4566776b3d
--- /dev/null
+++ b/mach/mc6800/libem/mli4.s
@@ -0,0 +1,83 @@
+.define Mli4, Mlu4,  Mlinp4, Mul4
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+
+! The subroutine Mli4 multiplies two signed long. The long
+! are popped from the stack.
+! The subroutine Mlinp expects the two long to be in zeropage.
+! While the subroutine Mul an unsigned multiply subroutine is.
+
+.sect .text
+Mli4:
+Mlu4:
+	tsx
+	ldx 0,x
+	stx <TMP
+	ins
+	ins
+	pula
+	pulb
+	stab <ARTH+1
+	staa <ARTH+0
+	pula
+	pulb
+	stab <ARTH+3
+	staa <ARTH+2
+	pula
+	pulb
+	stab <ARTH+5
+	staa <ARTH+4
+	pula
+	pulb
+	stab <ARTH+7
+	staa <ARTH+6
+!
+	bsr Mul4
+!
+	tsx
+	ldx <TMP
+	pshb
+	psha
+	ldab <ARTH+9
+	ldaa <ARTH+8
+	pshb
+	psha
+	ldx TMP
+	jmp 0,x
+! multiply long (ARTH+8) = (ARTH) * (ARTH+4)
+Mul4:
+Mlinp4:	
+	clrb
+	clra
+	clr ARTH+8
+	clr ARTH+9
+!	clr ARTH+10
+!	clr ARTH+11
+    	ldx #32
+1:
+	aslb
+	rola
+	rol ARTH+9
+	rol ARTH+8
+	rol ARTH+3
+	rol ARTH+2
+	rol ARTH+1
+	rol ARTH
+	bcc 3f
+	addb <ARTH+7
+	adca <ARTH+6
+	psha
+	ldaa <ARTH+9
+	adca <ARTH+5
+	staa <ARTH+9
+	ldaa <ARTH+8
+	adca <ARTH+4
+	staa <ARTH+8
+	pula
+3:
+	dex
+	bne 1b
+	rts
diff --git a/mach/mc6800/libem/pop.s b/mach/mc6800/libem/pop.s
new file mode 100644
index 0000000000..2f6785bc3d
--- /dev/null
+++ b/mach/mc6800/libem/pop.s
@@ -0,0 +1,30 @@
+.define Pop
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .end
+
+.sect .text
+
+Pop:
+	tsx
+	ldx 0,x
+	ins
+	ins
+	pula
+	pulb
+	stab TMP+1
+	staa TMP
+	pula
+	pulb
+	stab TMP2+1
+	staa TMP2
+	ldab TMP+1
+	ldaa TMP
+	pshb
+	psha
+	ldab TMP2+1
+	ldaa TMP2
+    	jmp 0,x
diff --git a/mach/mc6800/libem/pro.s b/mach/mc6800/libem/pro.s
new file mode 100644
index 0000000000..9347a233d1
--- /dev/null
+++ b/mach/mc6800/libem/pro.s
@@ -0,0 +1,37 @@
+.define Pro
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .end
+
+.sect .text
+
+! This routine is called at the entry of a procedure.
+! It saves the localbase of the invoking procedure, and sets the
+! new localbase to the present value of the stackpointer.
+! It then initializes the second localbase by subtracting
+! BASE from the real one.
+
+
+Pro:
+	tsx
+	ldx 0,x
+	stx TMP
+	ins
+	ins
+	ldab <LB+1	! get localbase (lowbyte)
+	ldaa <LB	! get localbase (highbyte)
+	pshb
+	psha		! push localbase onto the stack
+	tsx		! get stackpointer
+	stx <LB		! new localbase
+	ldab <LB+1
+	ldaa <LB
+	subb #BASE
+	sbca #0
+	stab <LBl+1	! second localbase (lowbyte)
+	staa <LBl	! second localbase (highbyte)
+	ldx TMP
+    	jmp 0,x
diff --git a/mach/mc6800/libem/pushx.s b/mach/mc6800/libem/pushx.s
new file mode 100644
index 0000000000..c01b2762dd
--- /dev/null
+++ b/mach/mc6800/libem/pushx.s
@@ -0,0 +1,25 @@
+.define Pushx,TfrXD
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+
+.sect .text
+
+Pushx:
+	stx <TMP
+	tsx
+	ldx 0,x
+	ins
+	ins
+	ldab <TMP+1
+	ldaa <TMP
+	pshb
+	psha
+    	jmp 0,x
+TfrXD:
+	stx <TMP
+	ldab <TMP+1
+	ldaa <TMP
+	rts
diff --git a/mach/mc6800/libem/ret.s b/mach/mc6800/libem/ret.s
new file mode 100644
index 0000000000..8cadda801b
--- /dev/null
+++ b/mach/mc6800/libem/ret.s
@@ -0,0 +1,40 @@
+.define Ret0
+.define Ret1
+.define Ret2
+.define Ret4
+
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .end
+
+.sect .text
+Ret1:
+	stab	<RETURN
+	bra	1f
+Ret4:
+	stab	<RETURN+1
+	staa	<RETURN
+	pula
+	pulb
+	stab	<RETURN+3
+	staa	<RETURN+2
+	bra	1f
+Ret2:
+	stab	<RETURN+1
+	staa	<RETURN
+1:
+Ret0:
+	ldx	<LB
+	txs
+	pula
+	pulb
+	stab	<LB+1
+	staa	<LB
+	subb	#BASE
+	sbca	#0
+	stab	<LBl+1
+	staa	<LBl
+	rts
diff --git a/mach/mc6800/libem/sbi.s b/mach/mc6800/libem/sbi.s
new file mode 100644
index 0000000000..0955d25b21
--- /dev/null
+++ b/mach/mc6800/libem/sbi.s
@@ -0,0 +1,24 @@
+.define Sbi2
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+
+! This subroutine subtracts two twobyte signed integers
+! and returnes the result in registerpair AB.
+
+
+.sect .text
+Sbi2:
+	tsx
+	ldx 0,x
+	ins
+	ins
+	stab ARTH+1	! save second operand (highbyte)
+	staa ARTH	! save second operand (lowbyte)
+	pula
+	pulb
+	subb ARTH+1	! subtract second operand (lowbyte)
+	sbca ARTH	! subtract second operand (highbyte)
+	jmp 0,x
diff --git a/mach/mc6800/libem/sli.s b/mach/mc6800/libem/sli.s
new file mode 100644
index 0000000000..f2c0dbce49
--- /dev/null
+++ b/mach/mc6800/libem/sli.s
@@ -0,0 +1,28 @@
+.define Sli2
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine shifts a signed or unsigned interger to the
+! left n times.
+! N is in register B.
+! The returned value is in registerpair AB.
+
+
+Sli2:
+	tsx
+	ldx 0,x
+	ins
+	ins
+	stab <TMP+1	! shift count
+	pula
+	pulb
+	beq 2f
+1:	aslb
+	rola		! shift left
+	dec TMP+1
+	bne 1b
+2:	jmp 0,x
diff --git a/mach/mc6800/libem/sli4.s b/mach/mc6800/libem/sli4.s
new file mode 100644
index 0000000000..e2a157eca7
--- /dev/null
+++ b/mach/mc6800/libem/sli4.s
@@ -0,0 +1,31 @@
+.define Sli4
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine shifts a signed or unsigned interger to the
+! left n times.
+! N is in register B.
+! The returned value is in registerpair AB.
+
+
+Sli4:
+	tsx
+	tstb 		! shift count
+	beq 9f
+2:	asl 5,x
+	rol 4,x
+	rol 3,x
+	rol 2,x
+	decb
+	bne 2b
+9:
+	ldx 0,x
+	ins
+	ins
+	jmp 0,x
+
+
diff --git a/mach/mc6800/libem/sri.s b/mach/mc6800/libem/sri.s
new file mode 100644
index 0000000000..bca20d4b63
--- /dev/null
+++ b/mach/mc6800/libem/sri.s
@@ -0,0 +1,30 @@
+.define Sri2
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine shifts a signed interger to the
+! right n times.
+! N is in register B.
+! The returned value is in registerpair AB.
+
+
+Sri2:
+	tsx
+	ldx 0,x
+	ins
+	ins
+	stab <TMP+1	! shift count
+	pula
+	pulb
+	beq 2f		! zero shift, return input
+1:	asra
+	rorb		! shift right
+	dec TMP+1
+	bne 1b
+2:	jmp 0,x
+
+
diff --git a/mach/mc6800/libem/sri4.s b/mach/mc6800/libem/sri4.s
new file mode 100644
index 0000000000..f4bacfd2c5
--- /dev/null
+++ b/mach/mc6800/libem/sri4.s
@@ -0,0 +1,31 @@
+.define Sri4
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine shifts a signed or signed interger to the
+! right n times.
+! N is in register B.
+! The returned value is in registerpair AB.
+
+
+Sri4:
+	tsx
+	tstb 		! shift count
+	beq 9f
+2:	asr 2,x
+	ror 3,x
+	ror 4,x
+	ror 5,x
+	decb
+	bne 2b
+9:
+	ldx 0,x
+	ins
+	ins
+	jmp 0,x
+
+
diff --git a/mach/mc6800/libem/sru.s b/mach/mc6800/libem/sru.s
new file mode 100644
index 0000000000..8f8e8c9943
--- /dev/null
+++ b/mach/mc6800/libem/sru.s
@@ -0,0 +1,30 @@
+.define Sru2
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine shifts a unsigned interger to the
+! right n times.
+! N is in register B.
+! The returned value is in registerpair AB.
+
+
+Sru2:
+	tsx
+	ldx 0,x
+	ins
+	ins
+	stab <TMP+1	! shift count
+	pula
+	pulb
+	beq 2f		! zero shift, return input
+1:	lsra
+	rorb		! shift right
+	dec TMP+1
+	bne 1b
+2:	jmp 0,x
+
+
diff --git a/mach/mc6800/libem/sru4.s b/mach/mc6800/libem/sru4.s
new file mode 100644
index 0000000000..db089f848b
--- /dev/null
+++ b/mach/mc6800/libem/sru4.s
@@ -0,0 +1,31 @@
+.define Sru4
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine shifts a signed or signed interger to the
+! right n times.
+! N is in register B.
+! The returned value is in registerpair AB.
+
+
+Sru4:
+	tsx
+	tstb 		! shift count
+	beq 9f
+2:	lsr 2,x
+	ror 3,x
+	ror 4,x
+	ror 5,x
+	decb
+	bne 2b
+9:
+	ldx 0,x
+	ins
+	ins
+	jmp 0,x
+
+
diff --git a/mach/mc6800/libem/start.s b/mach/mc6800/libem/start.s
new file mode 100644
index 0000000000..48a80c577e
--- /dev/null
+++ b/mach/mc6800/libem/start.s
@@ -0,0 +1,22 @@
+.define START,EM_BSIZE
+
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .end
+
+BASE    = 240
+EM_BSIZE = 4
+
+.sect .text
+!.base 0x0100            ! where to start in the emu6800
+! GENERAL PURPOSE ROUTINES
+START:  jmp     _main
+
+.sect .data
+PROGNAME:               ! for initialising the programname pointer
+.asciz "program"
+.sect .bss
+beginbss:
diff --git a/mach/mc6800/libem/testFFh.s b/mach/mc6800/libem/testFFh.s
new file mode 100644
index 0000000000..94e56cc5a8
--- /dev/null
+++ b/mach/mc6800/libem/testFFh.s
@@ -0,0 +1,25 @@
+.define TestFFh
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine tests if the value on top of the stack is 0< x <= 256.
+! It is used if the istruction argument is on top of the stack.
+! The value is saved in Y.
+
+
+TestFFh:
+	pshb
+	psha
+	subb #1
+	sbca #0
+	pula
+	pulb
+	bne 1f
+2:	rts
+1:	ldab #Eoddz
+	ldaa #0
+	jsr Trap
diff --git a/mach/mc6800/libem/tge.s b/mach/mc6800/libem/tge.s
new file mode 100644
index 0000000000..e639666203
--- /dev/null
+++ b/mach/mc6800/libem/tge.s
@@ -0,0 +1,20 @@
+.define Tge
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine test if the value in registerpair AB is
+! greater than or equal to zero.
+! The result is returned in AB.
+
+
+Tge:
+	clrb
+	eora #0x80
+	asla
+	rolb
+	clra
+	rts
diff --git a/mach/mc6800/libem/tgt.s b/mach/mc6800/libem/tgt.s
new file mode 100644
index 0000000000..8363da4d4b
--- /dev/null
+++ b/mach/mc6800/libem/tgt.s
@@ -0,0 +1,27 @@
+.define Tgt
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine tests if the value in registerpair AB is
+! greater than zero.
+! The value returned is in AB.
+
+Tgt:
+	tsta
+	bpl 1f		! A >= 0
+    3:	clrb		! AB <= 0
+	clra
+	rts
+    1:	beq 1f		! A == 0
+    2:	ldab #1		! AB > 0
+	clra
+	rts
+    1:	tstb
+	bne 2b		! AB > 0
+	beq 3b		! AB = 0
+
+
diff --git a/mach/mc6800/libem/tle.s b/mach/mc6800/libem/tle.s
new file mode 100644
index 0000000000..80ff34abcf
--- /dev/null
+++ b/mach/mc6800/libem/tle.s
@@ -0,0 +1,28 @@
+.define Tle
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine tests if the value in registerpair AB is
+! less than or equal to zero.
+! The value returned is in AB.
+
+
+Tle:
+	tsta
+	bpl 1f		! A >= 0
+    3:	ldab #1		! AB <= 0
+	clra
+	rts
+    1:	beq 1f		! A = 0
+    2:	clrb		! AB > 0
+	clra
+	rts
+    1:	tstb
+	bne 2b		! B > 0
+	beq 3b		! B = 0
+
+
diff --git a/mach/mc6800/libem/tlt.s b/mach/mc6800/libem/tlt.s
new file mode 100644
index 0000000000..67cd5059c8
--- /dev/null
+++ b/mach/mc6800/libem/tlt.s
@@ -0,0 +1,19 @@
+.define Tlt
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine tests if the value in registerpair AX is
+! less than zero.
+! The value returned is in AX.
+
+
+Tlt:
+	clrb
+	asla
+	rolb
+	clra
+	rts
diff --git a/mach/mc6800/libem/trap.s b/mach/mc6800/libem/trap.s
new file mode 100644
index 0000000000..708d2d1163
--- /dev/null
+++ b/mach/mc6800/libem/trap.s
@@ -0,0 +1,107 @@
+.define Trap
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .text
+
+! This subroutine performs the trap instruction.
+
+! AccB: Trap number
+
+Trap:
+	cmpb #64
+	bcc 1f
+    2:	jmp Dotrap
+    1:	bmi 2b
+	pshb
+	stab <TMP
+	ldab <IGNMASK+1	! get bitmask (lowbyte)
+	ldaa <IGNMASK	! get bitmask (highbyte)
+    2:	lsra
+	rorb		! shiftright bitmask n times
+	dec TMP
+	bne 2b
+	bitb #1
+	pulb		! clear hardware_stack
+	bne 3f
+	jmp Dotrap
+    3:	rts
+
+Dotrap:
+	stab <TRAPVAL
+	ldx <ERRPROC
+	bne 1f
+	jmp Mtrap
+1:	ldx #RETURN	! save return area
+	ldab 3,x
+	ldaa 2,x
+	pshb
+	psha
+	ldab 1,x
+	ldaa 0,x
+	pshb
+	psha
+	ldab <hol0+5
+	ldaa <hol0+4
+	pshb		! save filename pointer
+	psha
+	ldab <hol0+1
+	ldaa <hol0
+	pshb		! save linenumber
+	psha
+	ldx <ERRPROC	! address of errorhandler
+	stx <ADDR	
+	ldx #0
+	stx <ERRPROC	! reset ERRPROC
+	ldab <TRAPVAL
+	ldaa #0
+	pshb
+	psha
+	jmp 0,x		! proceed with errorhandler
+
+.sect .data
+traptbl:
+	.data1	0
+	.data2	EARRAY
+	.data1	1
+	.data2	ERANGE
+	.data1	2
+	.data2	ESET
+	.data1	3
+	.data2	EIOVFL
+	.data1	10
+	.data2	ECONV
+	.data1	16
+	.data2	ESTACK
+	.data1	17
+	.data2	EHEAP
+	.data1	19
+	.data2	EODDZ
+	.data1	20
+	.data2	ECASE
+	.data1	25
+	.data2	EBADMON
+	.data1	26
+	.data2	EBADLIN
+	.data1	27
+	.data2	EBADGTO
+trapend:
+!
+Mtrap:
+	ldx #traptbl
+	bra 2f
+1:	inx
+	inx
+	inx
+	cpx #trapend
+	beq errorend
+2:	cmpb 0,x
+	bne 1b
+	ldx 1,x
+	jsr _putstr
+	jmp errorend
+errorend:
+	ldx TRAPVAL
+	jmp EXIT
diff --git a/mach/mc6800/libend/LIST b/mach/mc6800/libend/LIST
new file mode 100644
index 0000000000..2efbd3eb2a
--- /dev/null
+++ b/mach/mc6800/libend/LIST
@@ -0,0 +1,5 @@
+end_s.a
+edata.s
+em_end.s
+end.s
+etext.s
diff --git a/mach/mc6800/libend/build.py b/mach/mc6800/libend/build.py
new file mode 100644
index 0000000000..cdeeb03cb8
--- /dev/null
+++ b/mach/mc6800/libend/build.py
@@ -0,0 +1,14 @@
+from build import PLATS
+from build.ack import ackclibrary
+
+for plat in PLATS:
+    ackclibrary(
+        name=f"lib_{plat}",
+        srcs=[
+            "./edata.s",
+            "./em_end.s",
+            "./end.s",
+            "./etext.s",
+        ],
+        plat=plat,
+    )
diff --git a/mach/mc6800/libend/edata.s b/mach/mc6800/libend/edata.s
new file mode 100644
index 0000000000..0b35f88b1f
--- /dev/null
+++ b/mach/mc6800/libend/edata.s
@@ -0,0 +1,9 @@
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .end
+.define	_edata
+.sect .data
+_edata:
diff --git a/mach/mc6800/libend/em_end.s b/mach/mc6800/libend/em_end.s
new file mode 100644
index 0000000000..8cf00a18ee
--- /dev/null
+++ b/mach/mc6800/libend/em_end.s
@@ -0,0 +1,15 @@
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .end ! only for declaration of _end, __end and endbss.
+.define	endtext,enddata,endbss,__end
+
+	.sect .text
+endtext:
+	.sect .data
+enddata:
+	.sect .end
+__end:
+endbss:
diff --git a/mach/mc6800/libend/end.s b/mach/mc6800/libend/end.s
new file mode 100644
index 0000000000..014e516360
--- /dev/null
+++ b/mach/mc6800/libend/end.s
@@ -0,0 +1,8 @@
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.define	_end
+.sect .end ! only for declaration of _end, __end and endbss.
+_end:
diff --git a/mach/mc6800/libend/etext.s b/mach/mc6800/libend/etext.s
new file mode 100644
index 0000000000..3c65fbe72e
--- /dev/null
+++ b/mach/mc6800/libend/etext.s
@@ -0,0 +1,10 @@
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .end
+
+.define	_etext
+.sect .text
+_etext:
diff --git a/mach/mc6800/libmon/LIST b/mach/mc6800/libmon/LIST
new file mode 100644
index 0000000000..d897b8fd27
--- /dev/null
+++ b/mach/mc6800/libmon/LIST
@@ -0,0 +1 @@
+libmon_s.a
diff --git a/mach/mc6800/libmon/build.py b/mach/mc6800/libmon/build.py
new file mode 100644
index 0000000000..669ff7504b
--- /dev/null
+++ b/mach/mc6800/libmon/build.py
@@ -0,0 +1,11 @@
+from build import PLATS
+from build.ack import ackclibrary
+
+for plat in PLATS:
+    ackclibrary(
+        name=f"lib_{plat}",
+        srcs=[
+            "./head_em.s",
+        ],
+        plat=plat,
+    )
diff --git a/mach/mc6800/libmon/head_em.s b/mach/mc6800/libmon/head_em.s
new file mode 100644
index 0000000000..70d24c9e7e
--- /dev/null
+++ b/mach/mc6800/libmon/head_em.s
@@ -0,0 +1,43 @@
+.define BASE, EM_BSIZE
+.define hol0, ADDR
+.define LB, LBl
+.define	ARTH, RETURN, RETSIZE
+.define TMP,TMP2
+.define NBYTES
+.define start
+
+.sect .zero
+.sect .text
+.sect .rom
+.sect .data
+.sect .bss
+.sect .end
+
+BASE    = 240
+EM_BSIZE = 4
+
+.sect .zero
+hol0:   .space 16       ! the hol0 block
+ADDR: .space 4          ! used for indirect addressing
+LB: .space 2            ! the localbase
+LBl: .space 2           ! the second localbase (localbase-BASE)
+ARTH: .space 16         ! used for arithmetic
+RETURN: .space 4        ! the return area
+RETSIZE: .space 1
+TMP: .space 2
+TMP2: .space 2
+NBYTES: .space 1
+
+.sect .text
+!! .base 0x0100            ! where to start in the emu6800
+! GENERAL PURPOSE ROUTINES
+
+START:
+	jmp	_main
+
+.sect .data
+PROGNAME:               ! for initialising the programname pointer
+.asciz "program"
+
+.sect .bss
+beginbss:
diff --git a/mach/mc6800/mach_params b/mach/mc6800/mach_params
new file mode 100644
index 0000000000..68a8ec6a18
--- /dev/null
+++ b/mach/mc6800/mach_params
@@ -0,0 +1,5 @@
+MACH=mc6800
+SUF=s
+ASAR=arch
+RANLIB=:
+MACHFL=-O -DUFS