freescale/memory_abs.ma freescale/memory_bits.ma freescale/memory_func.ma freescale/memory_trees.ma
num/word32_lemmas.ma num/word16_lemmas.ma num/word32.ma
test_errori.ma
+compiler/environment.ma common/string.ma compiler/ast_type.ma
common/ascii_lemmas.ma common/ascii.ma num/bool_lemmas.ma
freescale/memory_struct.ma num/byte8.ma num/oct.ma
freescale/model.ma freescale/status.ma