--- rpl/src/rpl.h	2015/10/26 15:14:19	1.280
+++ rpl/src/rpl.h	2016/03/15 16:31:15	1.286
@@ -1,7 +1,7 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.23
-  Copyright (C) 1989-2015 Dr. BERTRAND Joël
+  RPL/2 (R) version 4.1.25
+  Copyright (C) 1989-2016 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
 
@@ -64,6 +64,8 @@
 #	define SA_ONSTACK	0
 #endif
 
+#define DEBUG_TRACE		uprintf("[%d/%X] %s(%d)\n", \
+		getpid(), pthread_self(), __FILE__, __LINE__);
 
 /*
 ================================================================================
@@ -1974,6 +1976,7 @@ typedef struct processus
 	unsigned char				evaluation_forcee;					/*Y/N*/
 	unsigned char				instruction_valide;					/*Y/N*/
 	unsigned char				instruction_intrinseque;			/*Y/I/N*/
+	unsigned char				instruction_sensible;				/*Y/N*/
 	unsigned char				test_instruction;					/*Y/N*/
 	unsigned char				affichage_arguments;				/*Y/N*/
 	unsigned char				constante_symbolique;				/*Y/N*/
@@ -2469,6 +2472,7 @@ void *rpl_malloc(struct_processus *s_eta
 void *rpl_realloc(struct_processus *s_etat_processus, void *ptr, size_t s);
 void rpl_free(struct_processus *s_etat_processus, void *ptr);
 void *sys_malloc(size_t s);
+void *sys_realloc(void *ptr, size_t s);
 void sys_free(void *ptr);
 
 /*