diff --git a/linux/labels_baremetal b/linux/labels_baremetal
index f6fc997e..4478449b 100755
Binary files a/linux/labels_baremetal and b/linux/labels_baremetal differ
diff --git a/linux/labels_baremetal.subx b/linux/labels_baremetal.subx
index fa94a5a8..9dce9bbf 100644
--- a/linux/labels_baremetal.subx
+++ b/linux/labels_baremetal.subx
@@ -199,6 +199,7 @@ subx-labels:  # infile: (addr buffered-file), labels-file: (addr buffered-file),
     81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               4/imm32           # add to esp
 $subx-labels:end:
     # . reclaim locals
+    81          0/subop/add         3/mod/direct    4/rm32/esp    .           .             .           .           .               0x18/imm32        # add to esp
     03/add                          0/mod/indirect  5/rm32/.disp32            .             .           4/r32/esp   Max-labels/disp32                 # add *Max-labels to esp
     03/add                          0/mod/indirect  5/rm32/.disp32            .             .           4/r32/esp   Input-size/disp32                 # add *Input-size to esp
     # . restore registers