comment: This build file is generated, please don't edit library: dfmc-modeling base-address: 0x63D20000 major-version: 0 minor-version: 0 library-pack: 0 compilation-mode: tight target-type: executable files: modeling-library model-object-macros namespace-macros boot model-object namespaces values objects signatures functions types classes singletons unions limited-integers limited-collections subclasses primitive-macros raw-type-macros raw-types primitives machine-word-primitives-support machine-word-primitives float-primitives thread-primitives c-function-models inlineable operations typist-api-support used-projects: functional-dylan dummy ../functional-dylan/ generic-arithmetic dummy ../generic-arithmetic/ big-integers dummy ../big-integers/ dfmc-common dummy ../dfmc-common/ dfmc-namespace dummy ../dfmc-namespace/ dfmc-reader dummy ../dfmc-reader/ dfmc-macro-expander dummy ../dfmc-macro-expander/ dfmc-definitions dummy ../dfmc-definitions/