diff --git a/src/X86.ml b/src/X86.ml
index 254c7c3bd..c3376e2d1 100644
--- a/src/X86.ml
+++ b/src/X86.ml
@@ -103,9 +103,12 @@ let compile env code =
           | WRITE ->
              let s, env' = env#pop in
              (env', [Push s; Call "Lwrite"; Pop eax])
-  	  | CONST n ->	      
+  	  | CONST n ->
+             env#push (L n), []
+             (*
 	     let s, env' = env#allocate in
 	     (env', [Mov (L n, s)])  
+              *)
 	  | LD x ->
 	     let s, env' = (env#global x)#allocate in
              env',