diff --git a/sys/src/cmd/6l/asm.c b/sys/src/cmd/6l/asm.c
index 5056aca19..71e1bb67a 100644
--- a/sys/src/cmd/6l/asm.c
+++ b/sys/src/cmd/6l/asm.c
@@ -132,6 +132,7 @@ asmb(void)
 	default:
 		diag("unknown header type %ld", HEADTYPE);
 	case 2:
+	case 3:
 	case 5:
 		seek(cout, HEADR+textsize, 0);
 		break;
@@ -165,6 +166,7 @@ asmb(void)
 		switch(HEADTYPE) {
 		default:
 		case 2:
+		case 3:
 		case 5:
 			seek(cout, HEADR+textsize+datsize, 0);
 			break;
diff --git a/sys/src/cmd/6l/compat.c b/sys/src/cmd/6l/compat.c
index 32e99ee05..2d2a9631b 100644
--- a/sys/src/cmd/6l/compat.c
+++ b/sys/src/cmd/6l/compat.c
@@ -50,6 +50,6 @@ mysbrk(ulong size)
 }
 
 void
-setmalloctag(void*, ulong)
+setmalloctag(void*, uintptr)
 {
 }
diff --git a/sys/src/cmd/6l/span.c b/sys/src/cmd/6l/span.c
index ec36e1490..78399a2b3 100644
--- a/sys/src/cmd/6l/span.c
+++ b/sys/src/cmd/6l/span.c
@@ -668,9 +668,6 @@ asmandsz(Adr *a, int r, int rex, int m64)
 
 	rex &= (0x40 | Rxr);
 	v = a->offset;
-	if ((vlong)v != a->offset) 
-		print("asmandsz: Trying to emit %#ullx and 32 bits is not sufficient\n",
-			a->offset);
 	t = a->type;
 	if(a->index != D_NONE) {
 		if(t >= D_INDIR) {