diff --git a/asmcomp/amd64/emit.mlp b/asmcomp/amd64/emit.mlp
index 4516178..f9bebd6 100644
--- a/asmcomp/amd64/emit.mlp
+++ b/asmcomp/amd64/emit.mlp
@@ -699,7 +699,7 @@ let emit_item = function
   | Cdefine_symbol s ->
       `{emit_symbol s}:\n`
   | Cdefine_label lbl ->
-      `{emit_label (100000 + lbl)}:\n`
+      `{emit_label (max_int/2 + lbl)}:\n`
   | Cint8 n ->
       `        .byte   {emit_int n}\n`
   | Cint16 n ->
@@ -715,7 +715,7 @@ let emit_item = function
   | Csymbol_address s ->
       `        .quad   {emit_symbol s}\n`
   | Clabel_address lbl ->
-      `        .quad   {emit_label (100000 + lbl)}\n`
+      `        .quad   {emit_label (max_int/2 + lbl)}\n`
   | Cstring s ->
       emit_string_directive "  .ascii  " s
   | Cskip n ->
diff --git a/asmcomp/i386/emit.mlp b/asmcomp/i386/emit.mlp
index 13af981..64dbe05 100644
--- a/asmcomp/i386/emit.mlp
+++ b/asmcomp/i386/emit.mlp
@@ -914,7 +914,7 @@ let emit_item = function
   | Cdefine_symbol s ->
       `{emit_symbol s}:\n`
   | Cdefine_label lbl ->
-      `{emit_label (100000 + lbl)}:\n`
+      `{emit_label (max_int/2 + lbl)}:\n`
   | Cint8 n ->
       `        .byte   {emit_int n}\n`
   | Cint16 n ->
@@ -930,7 +930,7 @@ let emit_item = function
   | Csymbol_address s ->
       `        .long   {emit_symbol s}\n`
   | Clabel_address lbl ->
-      `        .long   {emit_label (100000 + lbl)}\n`
+      `        .long   {emit_label (max_int/2 + lbl)}\n`
   | Cstring s ->
       if use_ascii_dir
       then emit_string_directive "     .ascii  " s