diff --git a/src/wmlsstdlibs.pir b/src/wmlsstdlibs.pir
index bfa4991..fe32f90 100644
--- a/src/wmlsstdlibs.pir
+++ b/src/wmlsstdlibs.pir
@@ -111,7 +111,8 @@ helper for CALL_URL* opcodes.
   _handler_1:
     .local pmc e
     .local string msg
-    .get_results (e, msg)
+    .get_results (e)
+    msg = e
     print msg
     print "\n"
     $S0 = "verification failed (can't translate '"
diff --git a/wmls2pbc.pir b/wmls2pbc.pir
index 2239fc3..1e6813e 100644
--- a/wmls2pbc.pir
+++ b/wmls2pbc.pir
@@ -56,7 +56,8 @@ Francois Perrad.
   _handler:
     .local pmc e
     .local string s
-    .get_results (e, s)
+    .get_results (e)
+    s = e
     print s
     print "\n"
   L1:
diff --git a/wmls2pir.pir b/wmls2pir.pir
index c46c3ca..6bab800 100644
--- a/wmls2pir.pir
+++ b/wmls2pir.pir
@@ -52,7 +52,8 @@ Francois Perrad.
   _handler:
     .local pmc e
     .local string s
-    .get_results (e, s)
+    .get_results (e)
+    s = e
     print s
     print "\n"
   L1:
diff --git a/wmlsd.pir b/wmlsd.pir
index 03f8d39..2981217 100644
--- a/wmlsd.pir
+++ b/wmlsd.pir
@@ -50,7 +50,8 @@ Francois Perrad.
   _handler:
     .local pmc e
     .local string msg
-    .get_results (e, msg)
+    .get_results (e)
+    msg = e
     print msg
     print "\n"
   L1:
diff --git a/wmlsi.pir b/wmlsi.pir
index 708e0da..79eb619 100644
--- a/wmlsi.pir
+++ b/wmlsi.pir
@@ -81,7 +81,8 @@ Francois Perrad.
   _handler:
     .local pmc e
     .local string s
-    .get_results (e, s)
+    .get_results (e)
+    s = e
     print s
     print "\n"
   L1: