	.global KPfalseVKi
	.global KPtrueVKi

	.section .dyvar$m, "aw"
	.align 4


_dylan_object_file_vars_start:

Pdfmc_modeling_library_bootedQ:
	.long KPfalseVKi
	.align 4
	.type Pdfmc_modeling_library_bootedQ,@object
	.size Pdfmc_modeling_library_bootedQ,. - Pdfmc_modeling_library_bootedQ

	.global primitive_remove_optionals
	.global _init_dylan_library
	.global _Init_dfmc_definitions_
	.global _Init_dfmc_macro_expander_
	.global _Init_dfmc_reader_
	.global _Init_dfmc_namespace_
	.global _Init_dfmc_common_
	.global _Init_big_integers_
	.global _Init_generic_arithmetic_
	.global _Init_dylan_

	.section .text$i, "ax", @progbits
	.align 4


	.global _Init_dfmc_modeling_
	.type _Init_dfmc_modeling_,@function
	.size _Init_dfmc_modeling_, 82
_Init_dfmc_modeling_:
	.byte	129,61
	.long	Pdfmc_modeling_library_bootedQ
	.long	KPfalseVKi
	.byte	117,69,85,137,229,199,5
	.long	Pdfmc_modeling_library_bootedQ
	.long	KPtrueVKi
	.byte	232
	.long	_Init_dfmc_definitions_ - 4 - .
	.byte	232
	.long	_Init_dfmc_macro_expander_ - 4 - .
	.byte	232
	.long	_Init_dfmc_reader_ - 4 - .
	.byte	232
	.long	_Init_dfmc_namespace_ - 4 - .
	.byte	232
	.long	_Init_dfmc_common_ - 4 - .
	.byte	232
	.long	_Init_big_integers_ - 4 - .
	.byte	232
	.long	_Init_generic_arithmetic_ - 4 - .
	.byte	232
	.long	_Init_dylan_ - 4 - .
	.byte	199,5
	.long	_init_dylan_library
	.long	_Init_dfmc_modeling__local_
	.byte	201,233
	.long	DylanSOEntry - 4 - .
	.byte	195
	.global _Init_dfmc_modeling__X_modeling_library_for_system
	.global _Init_dfmc_modeling__X_model_object_macros_for_system
	.global _Init_dfmc_modeling__X_namespace_macros_for_system
	.global _Init_dfmc_modeling__X_boot_for_system
	.global _Init_dfmc_modeling__X_model_object_for_system
	.global _Init_dfmc_modeling__X_namespaces_for_system
	.global _Init_dfmc_modeling__X_values_for_system
	.global _Init_dfmc_modeling__X_objects_for_system
	.global _Init_dfmc_modeling__X_signatures_for_system
	.global _Init_dfmc_modeling__X_functions_for_system
	.global _Init_dfmc_modeling__X_types_for_system
	.global _Init_dfmc_modeling__X_classes_for_system
	.global _Init_dfmc_modeling__X_singletons_for_system
	.global _Init_dfmc_modeling__X_unions_for_system
	.global _Init_dfmc_modeling__X_limited_integers_for_system
	.global _Init_dfmc_modeling__X_limited_collections_for_system
	.global _Init_dfmc_modeling__X_subclasses_for_system
	.global _Init_dfmc_modeling__X_primitive_macros_for_system
	.global _Init_dfmc_modeling__X_raw_type_macros_for_system
	.global _Init_dfmc_modeling__X_raw_types_for_system
	.global _Init_dfmc_modeling__X_primitives_for_system
	.global _Init_dfmc_modeling__X_machine_word_primitives_support_for_system
	.global _Init_dfmc_modeling__X_machine_word_primitives_for_system
	.global _Init_dfmc_modeling__X_float_primitives_for_system
	.global _Init_dfmc_modeling__X_thread_primitives_for_system
	.global _Init_dfmc_modeling__X_c_function_models_for_system
	.global _Init_dfmc_modeling__X_inlineable_for_system
	.global _Init_dfmc_modeling__X_operations_for_system
	.global _Init_dfmc_modeling__X_typist_api_support_for_system
	.global _Init_dfmc_modeling__X_modeling_library_for_user
	.global _Init_dfmc_modeling__X_model_object_macros_for_user
	.global _Init_dfmc_modeling__X_namespace_macros_for_user
	.global _Init_dfmc_modeling__X_boot_for_user
	.global _Init_dfmc_modeling__X_model_object_for_user
	.global _Init_dfmc_modeling__X_namespaces_for_user
	.global _Init_dfmc_modeling__X_values_for_user
	.global _Init_dfmc_modeling__X_objects_for_user
	.global _Init_dfmc_modeling__X_signatures_for_user
	.global _Init_dfmc_modeling__X_functions_for_user
	.global _Init_dfmc_modeling__X_types_for_user
	.global _Init_dfmc_modeling__X_classes_for_user
	.global _Init_dfmc_modeling__X_singletons_for_user
	.global _Init_dfmc_modeling__X_unions_for_user
	.global _Init_dfmc_modeling__X_limited_integers_for_user
	.global _Init_dfmc_modeling__X_limited_collections_for_user
	.global _Init_dfmc_modeling__X_subclasses_for_user
	.global _Init_dfmc_modeling__X_primitive_macros_for_user
	.global _Init_dfmc_modeling__X_raw_type_macros_for_user
	.global _Init_dfmc_modeling__X_raw_types_for_user
	.global _Init_dfmc_modeling__X_primitives_for_user
	.global _Init_dfmc_modeling__X_machine_word_primitives_support_for_user
	.global _Init_dfmc_modeling__X_machine_word_primitives_for_user
	.global _Init_dfmc_modeling__X_float_primitives_for_user
	.global _Init_dfmc_modeling__X_thread_primitives_for_user
	.global _Init_dfmc_modeling__X_c_function_models_for_user
	.global _Init_dfmc_modeling__X_inlineable_for_user
	.global _Init_dfmc_modeling__X_operations_for_user
	.global _Init_dfmc_modeling__X_typist_api_support_for_user


	.type _Init_dfmc_modeling__local_,@function
	.size _Init_dfmc_modeling__local_, 295
_Init_dfmc_modeling__local_:
	.byte	85,137,229,232
	.long	_Init_dfmc_modeling__X_modeling_library_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_model_object_macros_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_namespace_macros_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_boot_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_model_object_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_namespaces_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_values_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_objects_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_signatures_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_functions_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_types_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_classes_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_singletons_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_unions_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_limited_integers_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_limited_collections_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_subclasses_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_primitive_macros_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_raw_type_macros_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_raw_types_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_primitives_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_machine_word_primitives_support_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_machine_word_primitives_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_float_primitives_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_thread_primitives_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_c_function_models_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_inlineable_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_operations_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_typist_api_support_for_system - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_modeling_library_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_model_object_macros_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_namespace_macros_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_boot_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_model_object_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_namespaces_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_values_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_objects_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_signatures_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_functions_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_types_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_classes_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_singletons_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_unions_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_limited_integers_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_limited_collections_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_subclasses_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_primitive_macros_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_raw_type_macros_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_raw_types_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_primitives_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_machine_word_primitives_support_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_machine_word_primitives_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_float_primitives_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_thread_primitives_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_c_function_models_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_inlineable_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_operations_for_user - 4 - .
	.byte	232
	.long	_Init_dfmc_modeling__X_typist_api_support_for_user - 4 - .
	.byte	201,195
	.global DylanSOExit

	.section .fini
	.align 4


	.global dfmc_modelingSOexit
	.type dfmc_modelingSOexit,@function
	.size dfmc_modelingSOexit, 5
dfmc_modelingSOexit:
	.byte	232
	.long	DylanSOExit - 4 - .
