(* *)
(* ********************************************************************** *)
-include "freescale/aux_bases.ma".
-include "freescale/byte8.ma".
+include "num/oct.ma".
+include "num/byte8.ma".
(* **************************** *)
(* TIPI PER I MODULI DI MEMORIA *)