	.global KLbooleanGVKd
	.global KLclassGVKd
	.global KLmm_wrapperGVKi
	.global KLobjectGVKd
	.global KLunboundGVKe
	.global KLimplementation_classGVKe
	.global KLsimple_object_vectorGVKd
	.global KLempty_listGVKd
	.global KLconditionGVKd
	.global KLsimple_conditionGVKe
	.global KLserious_conditionGVKd
	.global KLerrorGVKd
	.global KLsimple_errorGVKd
	.global KLincremental_generic_functionGVKe
	.global KLfunction_classGVKi
	.global KLkeyword_methodGVKe
	.global KLsymbolGVKd
	.global KLbyte_stringGVKd
	.global KLkeyword_signatureAvaluesGVKi
	.global KLinstance_slot_descriptorGVKe
	.global KLmoduleGVKe
	.global KLsealed_generic_functionGVKe
	.global KLsimple_methodGVKe
	.global KLlistGVKd
	.global KLsimple_typechecked_cache_header_engine_nodeGVKg
	.global KLabsent_engine_nodeGVKg
	.global KLlambda_lexical_environmentGVdfmc_flow_graph
	.global KLsignatureGVKe
	.global KLBlambdaGVdfmc_modeling
	.global KLobject_signatureGVKe
	.global KLpairGVKd
	.global KLexitGVdfmc_flow_graph
	.global KLreturnGVdfmc_flow_graph
	.global KLextract_value_computationGVdfmc_flow_graph
	.global KLvaluesGVdfmc_flow_graph
	.global KLmodule_bindingGVdfmc_namespace
	.global KLdefinitionGVdfmc_flow_graph
	.global KLtemporary_transfer_computationGVdfmc_flow_graph
	.global KLbinary_mergeGVdfmc_flow_graph
	.global KLnop_computationGVdfmc_flow_graph
	.global KLBcodeGVdfmc_modeling
	.global KLmake_closureGVdfmc_flow_graph
	.global KLcomputationGVdfmc_flow_graph
	.global KLtemporary_accessorsGVdfmc_flow_graph
	.global KLsequenceGVKd
	.global KLsimple_closure_methodGVKi
	.global KLstringGVKd
	.global KLkeyword_signatureGVKe
	.global KPadd_classVKeI
	.global KPfalseVKi
	.global KLclassGVKdW
	.global KLmm_wrapperGVKiW
	.global KLbooleanGVKdW
	.global KLobjectGVKdW
	.global KPunboundVKi
	.global KLunboundGVKeW
	.global KPtrueVKi
	.global KLimplementation_classGVKeW
	.global KPempty_vectorVKi
	.global KLsimple_object_vectorGVKdW
	.global KPempty_listVKi
	.global KLempty_listGVKdW
	.global KLconditionGVKdW
	.global KLsimple_conditionGVKeW
	.global KLserious_conditionGVKdW
	.global KLerrorGVKdW
	.global KLsimple_errorGVKdW
	.global KinitializeVKd
	.global KLfunction_classGVKiW
	.global KLincremental_generic_functionGVKeW
	.global KLkeyword_methodGVKeW
	.global rest_key_xep_1
	.global rest_key_mep_1
	.global KJformat_string_
	.global KLsymbolGVKdW
	.global KPempty_stringVKi
	.global KLbyte_stringGVKdW
	.global KJformat_arguments_
	.global KLkeyword_signatureAvaluesGVKiW
	.global KDsignature_LclassG_typesVKi
	.global KDsignature_LobjectG_typesVKi
	.global Kcondition_format_stringVKdHLsimple_conditionG
	.global KLinstance_slot_descriptorGVKeW
	.global Kcondition_format_argumentsVKdHLsimple_conditionG
	.global Kclass_instanceQ_initialVKiI
	.global Kdfmc_flow_graph_moduleYdylan_userVdfmc_flow_graph
	.global KLmoduleGVKeW
	.global KenvironmentVdfmc_modeling
	.global KLsealed_generic_functionGVKeW
	.global KinnersVdfmc_flow_graphMM0
	.global KLsimple_methodGVKeW
	.global KlambdaVdfmc_flow_graph
	.global KLlistGVKdW
	.global KbodyVdfmc_modeling
	.global Kwalk_lambda_computationsVdfmc_flow_graph
	.global KLsimple_typechecked_cache_header_engine_nodeGVKgW
	.global RSINGULAR_Labsent_engine_nodeG
	.global KLabsent_engine_nodeGVKgW
	.global KouterVdfmc_flow_graph
	.global Klambda_environmentVdfmc_flow_graph
	.global KLlambda_lexical_environmentGVdfmc_flow_graphW
	.global KinnersVdfmc_flow_graphMM0I
	.global KmemberQVKdMM3I
	.global KEEVKd
	.global KEEVKdI
	.global KconcatenateVKd
	.global KmakeVKd
	.global KerrorVKdMM0I
	.global xep_1
	.global KLsignatureGVKeW
	.global KLBlambdaGVdfmc_modelingW
	.global new_gf_xep_1
	.global KDsignature_LobjectG_object_rest_value_1VKi
	.global KLobject_signatureGVKeW
	.global KLpairGVKdW
	.global KLexitGVdfmc_flow_graphW
	.global Kmultiple_valuesQVdfmc_flow_graph
	.global KLreturnGVdfmc_flow_graphW
	.global Kmultiple_valuesQVdfmc_flow_graphMM1I
	.global KLextract_value_computationGVdfmc_flow_graphW
	.global KLvaluesGVdfmc_flow_graphW
	.global Kassigned_bindingVdfmc_flow_graphI
	.global KLmodule_bindingGVdfmc_namespaceW
	.global KLdefinitionGVdfmc_flow_graphW
	.global KLtemporary_transfer_computationGVdfmc_flow_graphW
	.global KLbinary_mergeGVdfmc_flow_graphW
	.global KusedQVdfmc_commonMM0
	.global KLnop_computationGVdfmc_flow_graphW
	.global KfunctionVdfmc_modeling
	.global KLBcodeGVdfmc_modelingW
	.global KDsignature_LobjectG_no_rest_value_1VKi
	.global KLmake_closureGVdfmc_flow_graphW
	.global KLcomputationGVdfmc_flow_graphW
	.global KtemporaryVdfmc_flow_graph
	.global KgeneratorVdfmc_flow_graph
	.global Kused_temporary_accessorsVdfmc_flow_graph
	.global KLtemporary_accessorsGVdfmc_flow_graphW
	.global KLsequenceGVKdW
	.global Kforward_iteration_protocolVKd
	.global KusersVdfmc_common
	.global KmemberQVKd
	.global xep_2
	.global KLsimple_closure_methodGVKiW
	.global KDsignature_LobjectG_object_rest_value_2VKi
	.global KasVKd
	.global KLstringGVKdW
	.global Kas_lowercaseVKd
	.global KLkeyword_signatureGVKeW
	.global KLinvariant_violationGVdfmc_flow_graph
	.global KLinvariant_violationGVdfmc_flow_graphW
	.global KLinvariant_violationGZ32ZconstructorVdfmc_flow_graphMM0
	.global Kensure_invariantsVdfmc_flow_graphMM0
	.global Kensure_invariantsTVdfmc_flow_graphMM0
	.global cache_header_entry
	.global Kensure_environment_invariantsVdfmc_flow_graphMM0
	.global Kcheck_computationVdfmc_flow_graph
	.global Kcheck_computationVdfmc_flow_graphMM0
	.global Kcheck_computationVdfmc_flow_graphMM1
	.global Kcheck_computationVdfmc_flow_graphMM2
	.global Kcheck_computationVdfmc_flow_graphMM3
	.global Kcheck_computationVdfmc_flow_graphMM4
	.global Kcheck_computationVdfmc_flow_graphMM5
	.global Kcheck_computationVdfmc_flow_graphMM6
	.global Kcheck_computationVdfmc_flow_graphMM7
	.global Kcheck_computationVdfmc_flow_graphMM8
	.global Kcheck_computationVdfmc_flow_graphMM9
	.global Kcheck_objectVdfmc_flow_graph
	.global Kcheck_objectVdfmc_flow_graphMM0
	.global Kcheck_objectVdfmc_flow_graphMM1
	.global Kcheck_objectVdfmc_flow_graphMM2
	.global ensure_invariantsVdfmc_flow_graph
	.global Linvariant_violationGVdfmc_flow_graph
	.global Tchecker_messageTVdfmc_flow_graph

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


_dylan_object_file_objs_start:

KLinvariant_violationGVdfmc_flow_graph:
	.long KLclassGVKdW
	.long Kclass_instanceQ_initialVKiI
	.long K14
	.long K4
	.long 1
	.long Kdfmc_flow_graph_moduleYdylan_userVdfmc_flow_graph
	.align 4
	.type KLinvariant_violationGVdfmc_flow_graph,@object
	.size KLinvariant_violationGVdfmc_flow_graph,. - KLinvariant_violationGVdfmc_flow_graph

K4:
	.long KLimplementation_classGVKeW
	.long 477102089
	.long KLinvariant_violationGVdfmc_flow_graph
	.long KLinvariant_violationGVdfmc_flow_graphW
	.long KPfalseVKi
	.long K5
	.long -3
	.long KLinvariant_violationGZ32ZconstructorVdfmc_flow_graphMM0
	.long K8
	.long K9
	.long 25
	.long KPempty_vectorVKi
	.long KPempty_vectorVKi
	.long KPempty_listVKi
	.long KPempty_listVKi
	.long KPempty_listVKi
	.long KPempty_vectorVKi
	.long KPempty_vectorVKi
	.long K5
	.long KPempty_vectorVKi
	.long KPempty_vectorVKi
	.long KPempty_vectorVKi
	.long KPempty_vectorVKi
	.long KPempty_vectorVKi
	.align 4
	.type K4,@object
	.size K4,. - K4

K5:
	.long KLsimple_object_vectorGVKdW
	.long 9
	.long Kcondition_format_stringVKdHLsimple_conditionG
	.long Kcondition_format_argumentsVKdHLsimple_conditionG
	.align 4
	.type K5,@object
	.size K5,. - K5

K8:
	.long KLsimple_object_vectorGVKdW
	.long 5
	.long KLsimple_errorGVKd
	.align 4
	.type K8,@object
	.size K8,. - K8

K9:
	.long KLsimple_object_vectorGVKdW
	.long 29
	.long KLobjectGVKd
	.long KLconditionGVKd
	.long KLsimple_conditionGVKe
	.long KLserious_conditionGVKd
	.long KLerrorGVKd
	.long KLsimple_errorGVKd
	.long KLinvariant_violationGVdfmc_flow_graph
	.align 4
	.type K9,@object
	.size K9,. - K9

K11:
	.long KLsimple_object_vectorGVKdW
	.long 17
	.long KJformat_string_
	.long KPempty_stringVKi
	.long KJformat_arguments_
	.long KPempty_vectorVKi
	.align 4
	.type K11,@object
	.size K11,. - K11

K12:
	.long KLsimple_object_vectorGVKdW
	.long 9
	.long KJformat_string_
	.long KJformat_arguments_
	.align 4
	.type K12,@object
	.size K12,. - K12

K13:
	.long KLsimple_object_vectorGVKdW
	.long 5
	.long KLinvariant_violationGVdfmc_flow_graph
	.align 4
	.type K13,@object
	.size K13,. - K13

K26:
	.long KLsimple_typechecked_cache_header_engine_nodeGVKgW
	.long 65593
	.long KPfalseVKi
	.long cache_header_entry
	.long RSINGULAR_Labsent_engine_nodeG
	.long Kwalk_lambda_computationsVdfmc_flow_graph
	.align 4
	.type K26,@object
	.size K26,. - K26

K33:
	.long KLsimple_object_vectorGVKdW
	.long 5
	.long KLBlambdaGVdfmc_modeling
	.align 4
	.type K33,@object
	.size K33,. - K33

Kcheck_computationVdfmc_flow_graph:
	.long KLsealed_generic_functionGVKeW
	.long new_gf_xep_1
	.long KDsignature_LobjectG_object_rest_value_1VKi
	.long 1
	.long K68
	.long K58
	.long RSINGULAR_Labsent_engine_nodeG
	.align 4
	.type Kcheck_computationVdfmc_flow_graph,@object
	.size Kcheck_computationVdfmc_flow_graph,. - Kcheck_computationVdfmc_flow_graph

K58:
	.long KLpairGVKdW
	.long Kcheck_computationVdfmc_flow_graphMM0
	.long K59
	.align 4
	.type K58,@object
	.size K58,. - K58

K59:
	.long KLpairGVKdW
	.long Kcheck_computationVdfmc_flow_graphMM1
	.long K60
	.align 4
	.type K59,@object
	.size K59,. - K59

K60:
	.long KLpairGVKdW
	.long Kcheck_computationVdfmc_flow_graphMM2
	.long K61
	.align 4
	.type K60,@object
	.size K60,. - K60

K61:
	.long KLpairGVKdW
	.long Kcheck_computationVdfmc_flow_graphMM3
	.long K62
	.align 4
	.type K61,@object
	.size K61,. - K61

K62:
	.long KLpairGVKdW
	.long Kcheck_computationVdfmc_flow_graphMM4
	.long K63
	.align 4
	.type K62,@object
	.size K62,. - K62

K63:
	.long KLpairGVKdW
	.long Kcheck_computationVdfmc_flow_graphMM5
	.long K64
	.align 4
	.type K63,@object
	.size K63,. - K63

K64:
	.long KLpairGVKdW
	.long Kcheck_computationVdfmc_flow_graphMM6
	.long K65
	.align 4
	.type K64,@object
	.size K64,. - K64

K65:
	.long KLpairGVKdW
	.long Kcheck_computationVdfmc_flow_graphMM7
	.long K66
	.align 4
	.type K65,@object
	.size K65,. - K65

K66:
	.long KLpairGVKdW
	.long Kcheck_computationVdfmc_flow_graphMM8
	.long K67
	.align 4
	.type K66,@object
	.size K66,. - K66

K67:
	.long KLpairGVKdW
	.long Kcheck_computationVdfmc_flow_graphMM9
	.long KPempty_listVKi
	.align 4
	.type K67,@object
	.size K67,. - K67

K71:
	.long KLsimple_object_vectorGVKdW
	.long 5
	.long KLexitGVdfmc_flow_graph
	.align 4
	.type K71,@object
	.size K71,. - K71

K74:
	.long KLsimple_object_vectorGVKdW
	.long 5
	.long KLreturnGVdfmc_flow_graph
	.align 4
	.type K74,@object
	.size K74,. - K74

K76:
	.long KLsimple_object_vectorGVKdW
	.long 5
	.long KLextract_value_computationGVdfmc_flow_graph
	.align 4
	.type K76,@object
	.size K76,. - K76

K79:
	.long KLsimple_object_vectorGVKdW
	.long 5
	.long KLvaluesGVdfmc_flow_graph
	.align 4
	.type K79,@object
	.size K79,. - K79

K82:
	.long KLsimple_object_vectorGVKdW
	.long 5
	.long KLdefinitionGVdfmc_flow_graph
	.align 4
	.type K82,@object
	.size K82,. - K82

K85:
	.long KLsimple_object_vectorGVKdW
	.long 5
	.long KLtemporary_transfer_computationGVdfmc_flow_graph
	.align 4
	.type K85,@object
	.size K85,. - K85

K86:
	.long KLpairGVKdW
	.long Kcheck_computationVdfmc_flow_graphMM0
	.long KPempty_listVKi
	.align 4
	.type K86,@object
	.size K86,. - K86

K88:
	.long KLsimple_object_vectorGVKdW
	.long 5
	.long KLbinary_mergeGVdfmc_flow_graph
	.align 4
	.type K88,@object
	.size K88,. - K88

K91:
	.long KLsimple_object_vectorGVKdW
	.long 5
	.long KLnop_computationGVdfmc_flow_graph
	.align 4
	.type K91,@object
	.size K91,. - K91

Kcheck_objectVdfmc_flow_graph:
	.long KLsealed_generic_functionGVKeW
	.long new_gf_xep_1
	.long KDsignature_LobjectG_object_rest_value_1VKi
	.long 1
	.long K102
	.long K99
	.long RSINGULAR_Labsent_engine_nodeG
	.align 4
	.type Kcheck_objectVdfmc_flow_graph,@object
	.size Kcheck_objectVdfmc_flow_graph,. - Kcheck_objectVdfmc_flow_graph

K99:
	.long KLpairGVKdW
	.long Kcheck_objectVdfmc_flow_graphMM0
	.long K100
	.align 4
	.type K99,@object
	.size K99,. - K99

K100:
	.long KLpairGVKdW
	.long Kcheck_objectVdfmc_flow_graphMM1
	.long K101
	.align 4
	.type K100,@object
	.size K100,. - K100

K101:
	.long KLpairGVKdW
	.long Kcheck_objectVdfmc_flow_graphMM2
	.long KPempty_listVKi
	.align 4
	.type K101,@object
	.size K101,. - K101

K104:
	.long KLsimple_object_vectorGVKdW
	.long 5
	.long KLBcodeGVdfmc_modeling
	.align 4
	.type K104,@object
	.size K104,. - K104

K106:
	.long KLsimple_object_vectorGVKdW
	.long 5
	.long KLmake_closureGVdfmc_flow_graph
	.align 4
	.type K106,@object
	.size K106,. - K106

K108:
	.long KLsimple_object_vectorGVKdW
	.long 5
	.long KLcomputationGVdfmc_flow_graph
	.align 4
	.type K108,@object
	.size K108,. - K108

K117:
	.long KLsimple_object_vectorGVKdW
	.long 9
	.long KLcomputationGVdfmc_flow_graph
	.long KLBlambdaGVdfmc_modeling
	.align 4
	.type K117,@object
	.size K117,. - K117

K122:
	.long KLsimple_object_vectorGVKdW
	.long 17
	.long KJbefore_
	.long KPfalseVKi
	.long KJafter_
	.long KPfalseVKi
	.align 4
	.type K122,@object
	.size K122,. - K122

K125:
	.long KLsimple_object_vectorGVKdW
	.long 9
	.long KJbefore_
	.long KJafter_
	.align 4
	.type K125,@object
	.size K125,. - K125


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


_dylan_object_file_vars_start:

IKJpreviousQ_:
	.long KJpreviousQ_
	.align 4
	.type IKJpreviousQ_,@object
	.size IKJpreviousQ_,. - IKJpreviousQ_

IKJbefore_:
	.long KJbefore_
	.align 4
	.type IKJbefore_,@object
	.size IKJbefore_,. - IKJbefore_

IKJafter_:
	.long KJafter_
	.align 4
	.type IKJafter_,@object
	.size IKJafter_,. - IKJafter_

ensure_invariantsVdfmc_flow_graph:
	.long Kensure_invariantsVdfmc_flow_graphMM0
	.align 4
	.type ensure_invariantsVdfmc_flow_graph,@object
	.size ensure_invariantsVdfmc_flow_graph,. - ensure_invariantsVdfmc_flow_graph

Linvariant_violationGVdfmc_flow_graph:
	.long KLinvariant_violationGVdfmc_flow_graph
	.align 4
	.type Linvariant_violationGVdfmc_flow_graph,@object
	.size Linvariant_violationGVdfmc_flow_graph,. - Linvariant_violationGVdfmc_flow_graph

Tchecker_messageTVdfmc_flow_graph:
	.long KPunboundVKi
	.align 4
	.type Tchecker_messageTVdfmc_flow_graph,@object
	.size Tchecker_messageTVdfmc_flow_graph,. - Tchecker_messageTVdfmc_flow_graph


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


_dylan_untraced_objs_start:

KLinvariant_violationGVdfmc_flow_graphW:
	.long KLmm_wrapperGVKiW
	.long K4
	.long 2049
	.long 9
	.long 33554439
	.long 1
	.align 4
	.type KLinvariant_violationGVdfmc_flow_graphW,@object
	.size KLinvariant_violationGVdfmc_flow_graphW,. - KLinvariant_violationGVdfmc_flow_graphW

KLinvariant_violationGZ32ZconstructorVdfmc_flow_graphMM0:
	.long KLkeyword_methodGVKeW
	.long rest_key_xep_1
	.long K10
	.long rest_key_mep_1
	.long KLinvariant_violationGZ32ZconstructorVdfmc_flow_graphMM0I
	.long K11
	.align 4
	.type KLinvariant_violationGZ32ZconstructorVdfmc_flow_graphMM0,@object
	.size KLinvariant_violationGZ32ZconstructorVdfmc_flow_graphMM0,. - KLinvariant_violationGZ32ZconstructorVdfmc_flow_graphMM0

K10:
	.long KLkeyword_signatureAvaluesGVKiW
	.long 35390469
	.long KDsignature_LclassG_typesVKi
	.long K12
	.long KDsignature_LobjectG_typesVKi
	.long K13
	.align 4
	.type K10,@object
	.size K10,. - K10

K14:
	.long KLbyte_stringGVKdW
	.long 85
	.ascii "<invariant-violation>"
	.byte 0
	.align 4
	.type K14,@object
	.size K14,. - K14

Kensure_invariantsVdfmc_flow_graphMM0:
	.long KLkeyword_methodGVKeW
	.long rest_key_xep_1
	.long K121
	.long rest_key_mep_1
	.long Kensure_invariantsVdfmc_flow_graphMM0I
	.long K122
	.align 4
	.type Kensure_invariantsVdfmc_flow_graphMM0,@object
	.size Kensure_invariantsVdfmc_flow_graphMM0,. - Kensure_invariantsVdfmc_flow_graphMM0

K18:
	.long KLbyte_stringGVKdW
	.long 25
	.ascii "before"
	.byte 0
	.align 4
	.type K18,@object
	.size K18,. - K18

K19:
	.long KLbyte_stringGVKdW
	.long 21
	.ascii "after"
	.byte 0
	.align 4
	.type K19,@object
	.size K19,. - K19

K34:
	.long KLsimple_closure_methodGVKiW
	.long xep_2
	.long KDsignature_LobjectG_object_rest_value_2VKi
	.long K34I
	.long 1
	.align 4
	.type K34,@object
	.size K34,. - K34

Kensure_invariantsTVdfmc_flow_graphMM0:
	.long KLsimple_methodGVKeW
	.long xep_1
	.long K32
	.long Kensure_invariantsTVdfmc_flow_graphMM0I
	.align 4
	.type Kensure_invariantsTVdfmc_flow_graphMM0,@object
	.size Kensure_invariantsTVdfmc_flow_graphMM0,. - Kensure_invariantsTVdfmc_flow_graphMM0

KJpreviousQ_:
	.long KLsymbolGVKdW
	.long K27
	.align 4
	.type KJpreviousQ_,@object
	.size KJpreviousQ_,. - KJpreviousQ_

K27:
	.long KLbyte_stringGVKdW
	.long 37
	.ascii "previous?"
	.byte 0
	.align 4
	.type K27,@object
	.size K27,. - K27

K29:
	.long KLbyte_stringGVKdW
	.long 221
	.ascii "%= has outer lambda environment %=, but is not among %="
	.byte 0
	.align 4
	.type K29,@object
	.size K29,. - K29

K30:
	.long KLbyte_stringGVKdW
	.long 289
	.ascii "%= is an inner environment of %=, but its outer lambda environment is %="
	.byte 0
	.align 4
	.type K30,@object
	.size K30,. - K30

K32:
	.long KLsignatureGVKeW
	.long 41943045
	.long K33
	.align 4
	.type K32,@object
	.size K32,. - K32

Kensure_environment_invariantsVdfmc_flow_graphMM0:
	.long KLsimple_methodGVKeW
	.long xep_2
	.long K116
	.long Kensure_environment_invariantsVdfmc_flow_graphMM0I
	.align 4
	.type Kensure_environment_invariantsVdfmc_flow_graphMM0,@object
	.size Kensure_environment_invariantsVdfmc_flow_graphMM0,. - Kensure_environment_invariantsVdfmc_flow_graphMM0

Kcheck_computationVdfmc_flow_graphMM0:
	.long KLsimple_methodGVKeW
	.long xep_1
	.long K107
	.long Kcheck_computationVdfmc_flow_graphMM0I
	.align 4
	.type Kcheck_computationVdfmc_flow_graphMM0,@object
	.size Kcheck_computationVdfmc_flow_graphMM0,. - Kcheck_computationVdfmc_flow_graphMM0

Kcheck_computationVdfmc_flow_graphMM1:
	.long KLsimple_methodGVKeW
	.long xep_1
	.long K105
	.long Kcheck_computationVdfmc_flow_graphMM1I
	.align 4
	.type Kcheck_computationVdfmc_flow_graphMM1,@object
	.size Kcheck_computationVdfmc_flow_graphMM1,. - Kcheck_computationVdfmc_flow_graphMM1

Kcheck_computationVdfmc_flow_graphMM2:
	.long KLsimple_methodGVKeW
	.long xep_1
	.long K90
	.long Kcheck_computationVdfmc_flow_graphMM2I
	.align 4
	.type Kcheck_computationVdfmc_flow_graphMM2,@object
	.size Kcheck_computationVdfmc_flow_graphMM2,. - Kcheck_computationVdfmc_flow_graphMM2

Kcheck_computationVdfmc_flow_graphMM3:
	.long KLsimple_methodGVKeW
	.long xep_1
	.long K87
	.long Kcheck_computationVdfmc_flow_graphMM3I
	.align 4
	.type Kcheck_computationVdfmc_flow_graphMM3,@object
	.size Kcheck_computationVdfmc_flow_graphMM3,. - Kcheck_computationVdfmc_flow_graphMM3

Kcheck_computationVdfmc_flow_graphMM4:
	.long KLsimple_methodGVKeW
	.long xep_1
	.long K84
	.long Kcheck_computationVdfmc_flow_graphMM4I
	.align 4
	.type Kcheck_computationVdfmc_flow_graphMM4,@object
	.size Kcheck_computationVdfmc_flow_graphMM4,. - Kcheck_computationVdfmc_flow_graphMM4

Kcheck_computationVdfmc_flow_graphMM5:
	.long KLsimple_methodGVKeW
	.long xep_1
	.long K81
	.long Kcheck_computationVdfmc_flow_graphMM5I
	.align 4
	.type Kcheck_computationVdfmc_flow_graphMM5,@object
	.size Kcheck_computationVdfmc_flow_graphMM5,. - Kcheck_computationVdfmc_flow_graphMM5

Kcheck_computationVdfmc_flow_graphMM6:
	.long KLsimple_methodGVKeW
	.long xep_1
	.long K78
	.long Kcheck_computationVdfmc_flow_graphMM6I
	.align 4
	.type Kcheck_computationVdfmc_flow_graphMM6,@object
	.size Kcheck_computationVdfmc_flow_graphMM6,. - Kcheck_computationVdfmc_flow_graphMM6

Kcheck_computationVdfmc_flow_graphMM7:
	.long KLsimple_methodGVKeW
	.long xep_1
	.long K75
	.long Kcheck_computationVdfmc_flow_graphMM7I
	.align 4
	.type Kcheck_computationVdfmc_flow_graphMM7,@object
	.size Kcheck_computationVdfmc_flow_graphMM7,. - Kcheck_computationVdfmc_flow_graphMM7

Kcheck_computationVdfmc_flow_graphMM8:
	.long KLsimple_methodGVKeW
	.long xep_1
	.long K73
	.long Kcheck_computationVdfmc_flow_graphMM8I
	.align 4
	.type Kcheck_computationVdfmc_flow_graphMM8,@object
	.size Kcheck_computationVdfmc_flow_graphMM8,. - Kcheck_computationVdfmc_flow_graphMM8

Kcheck_computationVdfmc_flow_graphMM9:
	.long KLsimple_methodGVKeW
	.long xep_1
	.long K70
	.long Kcheck_computationVdfmc_flow_graphMM9I
	.align 4
	.type Kcheck_computationVdfmc_flow_graphMM9,@object
	.size Kcheck_computationVdfmc_flow_graphMM9,. - Kcheck_computationVdfmc_flow_graphMM9

K68:
	.long KLbyte_stringGVKdW
	.long 69
	.ascii "check-computation"
	.byte 0
	.align 4
	.type K68,@object
	.size K68,. - K68

K69:
	.long KLbyte_stringGVKdW
	.long 185
	.ascii "%= is not a member of its entry-state.exits %="
	.byte 0
	.align 4
	.type K69,@object
	.size K69,. - K69

K70:
	.long KLsignatureGVKeW
	.long 41943045
	.long K71
	.align 4
	.type K70,@object
	.size K70,. - K70

K72:
	.long KLbyte_stringGVKdW
	.long 173
	.ascii "need a multiple value input temporary in %="
	.byte 0
	.align 4
	.type K72,@object
	.size K72,. - K72

K73:
	.long KLsignatureGVKeW
	.long 46137349
	.long K74
	.align 4
	.type K73,@object
	.size K73,. - K73

K75:
	.long KLsignatureGVKeW
	.long 46137349
	.long K76
	.align 4
	.type K75,@object
	.size K75,. - K75

K77:
	.long KLbyte_stringGVKdW
	.long 177
	.ascii "need a multiple value result temporary in %="
	.byte 0
	.align 4
	.type K77,@object
	.size K77,. - K77

K78:
	.long KLsignatureGVKeW
	.long 46137349
	.long K79
	.align 4
	.type K78,@object
	.size K78,. - K78

K80:
	.long KLbyte_stringGVKdW
	.long 169
	.ascii "definition requires a module binding in %="
	.byte 0
	.align 4
	.type K80,@object
	.size K80,. - K80

K81:
	.long KLsignatureGVKeW
	.long 46137349
	.long K82
	.align 4
	.type K81,@object
	.size K81,. - K81

K83:
	.long KLbyte_stringGVKdW
	.long 149
	.ascii "disagreement on multiple values in %="
	.byte 0
	.align 4
	.type K83,@object
	.size K83,. - K83

K84:
	.long KLsignatureGVKeW
	.long 46137349
	.long K85
	.align 4
	.type K84,@object
	.size K84,. - K84

K87:
	.long KLsignatureGVKeW
	.long 46137349
	.long K88
	.align 4
	.type K87,@object
	.size K87,. - K87

K89:
	.long KLbyte_stringGVKdW
	.long 145
	.ascii "temporary %= generated by %= is used"
	.byte 0
	.align 4
	.type K89,@object
	.size K89,. - K89

K90:
	.long KLsignatureGVKeW
	.long 46137349
	.long K91
	.align 4
	.type K90,@object
	.size K90,. - K90

Kcheck_objectVdfmc_flow_graphMM0:
	.long KLsimple_methodGVKeW
	.long xep_1
	.long KDsignature_LobjectG_no_rest_value_1VKi
	.long Kcheck_objectVdfmc_flow_graphMM0I
	.align 4
	.type Kcheck_objectVdfmc_flow_graphMM0,@object
	.size Kcheck_objectVdfmc_flow_graphMM0,. - Kcheck_objectVdfmc_flow_graphMM0

Kcheck_objectVdfmc_flow_graphMM1:
	.long KLsimple_methodGVKeW
	.long xep_1
	.long K32
	.long Kcheck_objectVdfmc_flow_graphMM1I
	.align 4
	.type Kcheck_objectVdfmc_flow_graphMM1,@object
	.size Kcheck_objectVdfmc_flow_graphMM1,. - Kcheck_objectVdfmc_flow_graphMM1

Kcheck_objectVdfmc_flow_graphMM2:
	.long KLsimple_methodGVKeW
	.long xep_1
	.long K103
	.long Kcheck_objectVdfmc_flow_graphMM2I
	.align 4
	.type Kcheck_objectVdfmc_flow_graphMM2,@object
	.size Kcheck_objectVdfmc_flow_graphMM2,. - Kcheck_objectVdfmc_flow_graphMM2

K102:
	.long KLbyte_stringGVKdW
	.long 49
	.ascii "check-object"
	.byte 0
	.align 4
	.type K102,@object
	.size K102,. - K102

K103:
	.long KLsignatureGVKeW
	.long 41943045
	.long K104
	.align 4
	.type K103,@object
	.size K103,. - K103

K105:
	.long KLsignatureGVKeW
	.long 46137349
	.long K106
	.align 4
	.type K105,@object
	.size K105,. - K105

K107:
	.long KLsignatureGVKeW
	.long 41943045
	.long K108
	.align 4
	.type K107,@object
	.size K107,. - K107

K109:
	.long KLbyte_stringGVKdW
	.long 173
	.ascii "%= is in %= but has a different environment"
	.byte 0
	.align 4
	.type K109,@object
	.size K109,. - K109

K110:
	.long KLbyte_stringGVKdW
	.long 193
	.ascii "%= defines %=, but is not the registered definer"
	.byte 0
	.align 4
	.type K110,@object
	.size K110,. - K110

K114:
	.long KLbyte_stringGVKdW
	.long 161
	.ascii "%= uses %=, but is not a registered user"
	.byte 0
	.align 4
	.type K114,@object
	.size K114,. - K114

K115:
	.long KLbyte_stringGVKdW
	.long 197
	.ascii "%= uses %= in %=, but environment %= not in scope"
	.byte 0
	.align 4
	.type K115,@object
	.size K115,. - K115

K116:
	.long KLsignatureGVKeW
	.long 44040201
	.long K117
	.align 4
	.type K116,@object
	.size K116,. - K116

K119:
	.long KLbyte_stringGVKdW
	.long 5
	.ascii " "
	.byte 0
	.align 4
	.type K119,@object
	.size K119,. - K119

K120:
	.long KLbyte_stringGVKdW
	.long 9
	.ascii ": "
	.byte 0
	.align 4
	.type K120,@object
	.size K120,. - K120

K121:
	.long KLkeyword_signatureGVKeW
	.long 42205189
	.long K33
	.long K125
	.long KDsignature_LobjectG_typesVKi
	.align 4
	.type K121,@object
	.size K121,. - K121

KJbefore_:
	.long KLsymbolGVKdW
	.long K18
	.align 4
	.type KJbefore_,@object
	.size KJbefore_,. - KJbefore_

KJafter_:
	.long KLsymbolGVKdW
	.long K19
	.align 4
	.type KJafter_,@object
	.size KJafter_,. - KJafter_

	.global primitive_remove_optionals

	.section .text
	.align 4

	.global apply_xep_1
	.global primitive_alloc_s2

	.global KLinvariant_violationGZ32ZconstructorVdfmc_flow_graphMM0I
	.type KLinvariant_violationGZ32ZconstructorVdfmc_flow_graphMM0I,@function
	.size KLinvariant_violationGZ32ZconstructorVdfmc_flow_graphMM0I, 86
KLinvariant_violationGZ32ZconstructorVdfmc_flow_graphMM0I:
	.byte	85,137,229,131,236,8,137,69,248,104
	.long	KPunboundVKi
	.byte	104
	.long	KPunboundVKi
	.byte	104
	.long	KLinvariant_violationGVdfmc_flow_graphW
	.byte	106,12,252,232
	.long	primitive_alloc_s2 - 4 - .
	.byte	131,196,16,137,69,252,139,77,12,139,117,252,137,78,4,139
	.byte	77,16,139,117,252,137,78,8,255,117,8,139,69,252,187
	.long	KinitializeVKd
	.byte	232
	.long	apply_xep_1 - 4 - .
	.byte	139,69,252,253,201,139,76,36,16,94,3,225,255,230

	.global primitive_unwind_protect_cleanup
	.global primitive_write_thread_variable_internal
	.global tlv_writer_counter
	.global primitive_build_unwind_protect_frame

	.global Kensure_invariantsVdfmc_flow_graphMM0I
	.type Kensure_invariantsVdfmc_flow_graphMM0I,@function
	.size Kensure_invariantsVdfmc_flow_graphMM0I, 268
Kensure_invariantsVdfmc_flow_graphMM0I:
	.byte	85,137,229,131,236,12,137,69,244,101,139,61
	.long	teb@ntpoff
	.byte	139,127,4,139,53
	.long	Tchecker_messageTVdfmc_flow_graph
	.byte	139,52,55,137,117,248,184
	.long	. + 139
	.byte	232
	.long	primitive_build_unwind_protect_frame - 4 - .
	.byte	129,125,12
	.long	KPfalseVKi
	.byte	15,132,178,0,0,0,255,117,12,184
	.long	K18
	.byte	232
	.long	Kmake_messageF118I - 4 - .
	.byte	137,199,199,69,252
	.long	tlv_writer_counter
	.byte	139,77,252,187,1,0,0,0,240,15,193,25,131,195,1,131
	.byte	251,0,125,6,252,232
	.long	primitive_write_thread_variable_internal - 4 - .
	.byte	101,139,29
	.long	teb@ntpoff
	.byte	139,91,4,139,53
	.long	Tchecker_messageTVdfmc_flow_graph
	.byte	137,60,51,139,117,252,240,131,46,1,139,69,244,232
	.long	Kensure_invariantsTVdfmc_flow_graphMM0I - 4 - .
	.byte	232
	.long	primitive_unwind_protect_cleanup - 4 - .
	.byte	184
	.long	KPfalseVKi
	.byte	252,101,139,53
	.long	teb@ntpoff
	.byte	199,70,32,0,0,0,0,201,139,76,36,16,94,3,225,255
	.byte	230,137,101,252,191
	.long	tlv_writer_counter
	.byte	187,1,0,0,0,240,15,193,31,131,195,1,131,251,0,125
	.byte	6,252,232
	.long	primitive_write_thread_variable_internal - 4 - .
	.byte	101,139,29
	.long	teb@ntpoff
	.byte	139,91,4,139,77,248,139,53
	.long	Tchecker_messageTVdfmc_flow_graph
	.byte	137,12,51,240,131,47,1,139,101,252,195,129,125,16
	.long	KPfalseVKi
	.byte	116,20,255,117,16,184
	.long	K19
	.byte	232
	.long	Kmake_messageF118I - 4 - .
	.byte	137,199,233,64,255,255,255,191
	.long	KPfalseVKi
	.byte	235,244


	.type Kmake_messageF118I,@function
	.size Kmake_messageF118I, 88
Kmake_messageF118I:
	.byte	131,236,4,255,116,36,4,85,137,229,131,236,4,137,69,252
	.byte	255,117,16,184
	.long	KLstringGVKd
	.byte	191
	.long	KasVKd
	.byte	139,29
	.long	KasVKd + 24
	.byte	255,83,12,191
	.long	Kas_lowercaseVKd
	.byte	139,29
	.long	Kas_lowercaseVKd + 24
	.byte	255,83,12,137,199,139,69,252,199,69,8
	.long	K119
	.byte	137,125,12,199,69,16
	.long	K120
	.byte	185,4,0,0,0,187
	.long	KconcatenateVKd
	.byte	201,255,99,4

	.global primitive_make_closure_with_environment
	.global Ktype_check_errorVKiI

	.global Kensure_invariantsTVdfmc_flow_graphMM0I
	.type Kensure_invariantsTVdfmc_flow_graphMM0I,@function
	.size Kensure_invariantsTVdfmc_flow_graphMM0I, 278
Kensure_invariantsTVdfmc_flow_graphMM0I:
	.byte	85,137,229,131,236,8,137,69,248,139,69,248,191
	.long	KenvironmentVdfmc_modeling
	.byte	139,29
	.long	KenvironmentVdfmc_modeling + 24
	.byte	255,83,12,185,1,0,0,0,187
	.long	KinnersVdfmc_flow_graphMM0
	.byte	255,83,4,137,199,137,125,252,129,125,252
	.long	KPempty_listVKi
	.byte	117,118,139,69,248,232
	.long	Kcheck_lambdaVdfmc_flow_graphI - 4 - .
	.byte	255,117,248,106,1,184
	.long	K34
	.byte	232
	.long	primitive_make_closure_with_environment - 4 - .
	.byte	137,69,252,139,69,248,191
	.long	KbodyVdfmc_modeling
	.byte	139,29
	.long	KbodyVdfmc_modeling + 24
	.byte	255,83,12,131,236,16,199,4,36
	.long	KLsimple_object_vectorGVKdW
	.byte	199,68,36,4,9,0,0,0,139,53
	.long	IKJpreviousQ_
	.byte	137,116,36,8,199,68,36,12
	.long	KPtrueVKi
	.byte	137,231,106,28,87,80,139,69,252,191
	.long	Kwalk_lambda_computationsVdfmc_flow_graph
	.byte	187
	.long	K26
	.byte	255,83,12,252,101,139,53
	.long	teb@ntpoff
	.byte	199,70,32,0,0,0,0,201,195,139,117,252,139,70,4,185
	.byte	1,0,0,0,187
	.long	KlambdaVdfmc_flow_graph
	.byte	255,83,4,185,1,0,0,0,187
	.long	Kensure_invariantsTVdfmc_flow_graphMM0
	.byte	255,83,4,139,117,252,139,126,8,137,125,252,186
	.long	KLlistGVKd
	.byte	139,125,252,131,231,3,131,255,1,116,28,131,255,2,116,23
	.byte	131,255,3,116,18,139,117,252,139,30,139,91,8,139,122,16
	.byte	35,251,131,255,1,117,13,104
	.long	KLlistGVKd
	.byte	139,69,252,232
	.long	Ktype_check_errorVKiI - 4 - .
	.byte	253,139,125,252,233,19,255,255,255


	.type K34I,@function
	.size K34I, 50
K34I:
	.byte	85,137,229,131,236,4,137,69,252,139,91,20,83,139,69,8
	.byte	185,2,0,0,0,187
	.long	Kensure_environment_invariantsVdfmc_flow_graphMM0
	.byte	255,83,4,139,69,8,139,29
	.long	Kcheck_computationVdfmc_flow_graph + 24
	.byte	191
	.long	Kcheck_computationVdfmc_flow_graph
	.byte	201,143,4,36,255,99,12


	.global Kcheck_lambdaVdfmc_flow_graphI
	.type Kcheck_lambdaVdfmc_flow_graphI,@function
	.size Kcheck_lambdaVdfmc_flow_graphI, 446
Kcheck_lambdaVdfmc_flow_graphI:
	.byte	85,137,229,131,236,20,137,69,236,139,69,236,191
	.long	KenvironmentVdfmc_modeling
	.byte	139,29
	.long	KenvironmentVdfmc_modeling + 24
	.byte	255,83,12,137,69,244,139,69,244,191
	.long	KouterVdfmc_flow_graph
	.byte	139,29
	.long	KouterVdfmc_flow_graph + 24
	.byte	255,83,12,191
	.long	Klambda_environmentVdfmc_flow_graph
	.byte	139,29
	.long	Klambda_environmentVdfmc_flow_graph + 24
	.byte	255,83,12,137,69,252,191
	.long	KLlambda_lexical_environmentGVdfmc_flow_graph
	.byte	139,95,4,87,139,69,252,255,211,61
	.long	KPfalseVKi
	.byte	117,52,139,69,244,185,1,0,0,0,187
	.long	KinnersVdfmc_flow_graphMM0
	.byte	255,83,4,137,199,137,125,248,129,125,248
	.long	KPempty_listVKi
	.byte	117,121,184
	.long	KPfalseVKi
	.byte	252,101,139,53
	.long	teb@ntpoff
	.byte	199,70,32,0,0,0,0,201,195,139,69,252,232
	.long	KinnersVdfmc_flow_graphMM0I - 4 - .
	.byte	106,16,104
	.long	KEEVKd
	.byte	104
	.long	KPempty_vectorVKi
	.byte	80,139,69,244,232
	.long	KmemberQVKdMM3I - 4 - .
	.byte	137,69,248,139,69,252,232
	.long	KinnersVdfmc_flow_graphMM0I - 4 - .
	.byte	131,236,20,199,4,36
	.long	KLsimple_object_vectorGVKdW
	.byte	199,68,36,4,13,0,0,0,139,117,244,137,116,36,8,139
	.byte	117,252,137,116,36,12,137,68,36,16,137,231,106,32,87,104
	.long	K29
	.byte	139,69,248,232
	.long	KensureVdfmc_flow_graphMM0I - 4 - .
	.byte	233,105,255,255,255,139,117,248,139,118,4,137,117,252,139,69
	.byte	252,191
	.long	KouterVdfmc_flow_graph
	.byte	139,29
	.long	KouterVdfmc_flow_graph + 24
	.byte	255,83,12,191
	.long	Klambda_environmentVdfmc_flow_graph
	.byte	139,29
	.long	Klambda_environmentVdfmc_flow_graph + 24
	.byte	255,83,12,255,117,244,232
	.long	KEEVKdI - 4 - .
	.byte	137,69,240,139,69,252,191
	.long	KouterVdfmc_flow_graph
	.byte	139,29
	.long	KouterVdfmc_flow_graph + 24
	.byte	255,83,12,191
	.long	Klambda_environmentVdfmc_flow_graph
	.byte	139,29
	.long	Klambda_environmentVdfmc_flow_graph + 24
	.byte	255,83,12,131,236,20,199,4,36
	.long	KLsimple_object_vectorGVKdW
	.byte	199,68,36,4,13,0,0,0,139,117,252,137,116,36,8,139
	.byte	117,244,137,116,36,12,137,68,36,16,137,231,106,32,87,104
	.long	K30
	.byte	139,69,240,232
	.long	KensureVdfmc_flow_graphMM0I - 4 - .
	.byte	139,117,248,139,126,8,137,125,252,186
	.long	KLlistGVKd
	.byte	139,125,252,131,231,3,131,255,1,116,28,131,255,2,116,23
	.byte	131,255,3,116,18,139,117,252,139,30,139,91,8,139,122,16
	.byte	35,251,131,255,1,117,13,104
	.long	KLlistGVKd
	.byte	139,69,252,232
	.long	Ktype_check_errorVKiI - 4 - .
	.byte	253,139,125,252,233,168,254,255,255

	.global primitive_copy_vector

	.global KensureVdfmc_flow_graphMM0I
	.type KensureVdfmc_flow_graphMM0I,@function
	.size KensureVdfmc_flow_graphMM0I, 67
KensureVdfmc_flow_graphMM0I:
	.byte	85,137,229,131,236,4,137,69,252,139,69,12,232
	.long	primitive_copy_vector - 4 - .
	.byte	129,125,252
	.long	KPfalseVKi
	.byte	117,11,106,8,80,139,69,8,232
	.long	Kinvariant_errorVdfmc_flow_graphMM0I - 4 - .
	.byte	184
	.long	KPfalseVKi
	.byte	252,101,139,53
	.long	teb@ntpoff
	.byte	199,70,32,0,0,0,0,201,139,76,36,12,94,3,225,255
	.byte	230


	.global Kinvariant_errorVdfmc_flow_graphMM0I
	.type Kinvariant_errorVdfmc_flow_graphMM0I,@function
	.size Kinvariant_errorVdfmc_flow_graphMM0I, 204
Kinvariant_errorVdfmc_flow_graphMM0I:
	.byte	255,52,36,139,116,36,12,131,198,4,137,116,36,12,85,137
	.byte	229,131,236,8,137,69,252,139,69,12,232
	.long	primitive_copy_vector - 4 - .
	.byte	137,69,248,101,139,61
	.long	teb@ntpoff
	.byte	139,127,4,139,53
	.long	Tchecker_messageTVdfmc_flow_graph
	.byte	139,60,55,129,255
	.long	KPfalseVKi
	.byte	15,132,134,0,0,0,101,139,5
	.long	teb@ntpoff
	.byte	139,64,4,139,53
	.long	Tchecker_messageTVdfmc_flow_graph
	.byte	139,4,48,255,117,252,185,2,0,0,0,187
	.long	KconcatenateVKd
	.byte	255,83,4,131,236,24,199,4,36
	.long	KLsimple_object_vectorGVKdW
	.byte	199,68,36,4,17,0,0,0,199,68,36,8
	.long	KJformat_string_
	.byte	137,68,36,12,199,68,36,16
	.long	KJformat_arguments_
	.byte	139,117,248,137,116,36,20,137,231,106,32,87,184
	.long	KLinvariant_violationGVdfmc_flow_graph
	.byte	191
	.long	KmakeVKd
	.byte	139,29
	.long	KmakeVKd + 24
	.byte	255,83,12,199,69,8
	.long	KPempty_vectorVKi
	.byte	199,69,12,8,0,0,0,201,190,12,0,0,0,232
	.long	primitive_remove_optionals - 4 - .
	.byte	233
	.long	KerrorVKdMM0I - 4 - .
	.byte	139,69,252,235,152


	.global Kensure_environment_invariantsVdfmc_flow_graphMM0I
	.type Kensure_environment_invariantsVdfmc_flow_graphMM0I,@function
	.size Kensure_environment_invariantsVdfmc_flow_graphMM0I, 628
Kensure_environment_invariantsVdfmc_flow_graphMM0I:
	.byte	85,137,229,131,236,40,137,69,236,139,69,236,191
	.long	KenvironmentVdfmc_modeling
	.byte	139,29
	.long	KenvironmentVdfmc_modeling + 24
	.byte	255,83,12,137,69,244,139,69,8,191
	.long	KenvironmentVdfmc_modeling
	.byte	139,29
	.long	KenvironmentVdfmc_modeling + 24
	.byte	255,83,12,80,139,69,244,232
	.long	KEEVKdI - 4 - .
	.byte	131,236,16,199,4,36
	.long	KLsimple_object_vectorGVKdW
	.byte	199,68,36,4,9,0,0,0,139,117,236,137,116,36,8,139
	.byte	117,8,137,116,36,12,137,231,106,28,87,104
	.long	K109
	.byte	232
	.long	KensureVdfmc_flow_graphMM0I - 4 - .
	.byte	139,69,236,191
	.long	KtemporaryVdfmc_flow_graph
	.byte	139,29
	.long	KtemporaryVdfmc_flow_graph + 24
	.byte	255,83,12,61
	.long	KPfalseVKi
	.byte	15,132,139,0,0,0,139,69,236,191
	.long	KtemporaryVdfmc_flow_graph
	.byte	139,29
	.long	KtemporaryVdfmc_flow_graph + 24
	.byte	255,83,12,191
	.long	KgeneratorVdfmc_flow_graph
	.byte	139,29
	.long	KgeneratorVdfmc_flow_graph + 24
	.byte	255,83,12,59,69,236,15,133,170,0,0,0,199,69,244
	.long	KPtrueVKi
	.byte	139,69,236,191
	.long	KtemporaryVdfmc_flow_graph
	.byte	139,29
	.long	KtemporaryVdfmc_flow_graph + 24
	.byte	255,83,12,131,236,16,199,4,36
	.long	KLsimple_object_vectorGVKdW
	.byte	199,68,36,4,9,0,0,0,139,117,236,137,116,36,8,137
	.byte	68,36,12,137,231,106,28,87,104
	.long	K110
	.byte	139,69,244,232
	.long	KensureVdfmc_flow_graphMM0I - 4 - .
	.byte	139,69,236,191
	.long	KtemporaryVdfmc_flow_graph
	.byte	139,29
	.long	KtemporaryVdfmc_flow_graph + 24
	.byte	255,83,12,255,117,8,255,117,236,232
	.long	Kcheck_environmentVdfmc_flow_graphMM0I - 4 - .
	.byte	139,69,236,191
	.long	Kused_temporary_accessorsVdfmc_flow_graph
	.byte	139,29
	.long	Kused_temporary_accessorsVdfmc_flow_graph + 24
	.byte	255,83,12,137,69,216,139,117,216,139,126,4,137,125,248,191
	.byte	1,0,0,0,137,125,252,139,117,252,59,117,248,117,38,184
	.long	KPfalseVKi
	.byte	101,139,61
	.long	teb@ntpoff
	.byte	131,199,36,199,7
	.long	KPfalseVKi
	.byte	253,201,194,4,0,199,69,244
	.long	KPfalseVKi
	.byte	233,81,255,255,255,139,117,216,3,117,252,139,118,7,137,117
	.byte	244,187
	.long	KLtemporary_accessorsGVdfmc_flow_graph
	.byte	139,125,244,131,231,3,131,255,0,116,94,104
	.long	KLtemporary_accessorsGVdfmc_flow_graph
	.byte	139,69,244,232
	.long	Ktype_check_errorVKiI - 4 - .
	.byte	139,93,244,139,91,4,139,69,236,185,1,0,0,0,255,83
	.byte	4,186
	.long	KLsequenceGVKd
	.byte	137,199,131,231,3,131,255,1,116,25,131,255,2,116,20,131
	.byte	255,3,116,15,139,24,139,91,8,139,122,16,35,251,131,255
	.byte	1,117,41,80,255,117,236,139,69,8,232
	.long	K113I - 4 - .
	.byte	139,125,252,131,199,4,206,233,85,255,255,255,139,117,244,139
	.byte	62,139,127,4,139,127,8,59,251,116,160,235,145,137,69,240
	.byte	139,69,240,191
	.long	Kforward_iteration_protocolVKd
	.byte	139,29
	.long	Kforward_iteration_protocolVKd + 24
	.byte	255,83,12,101,139,61
	.long	teb@ntpoff
	.byte	131,199,36,139,95,4,137,93,220,139,95,8,137,93,224,139
	.byte	95,12,137,93,228,139,127,20,137,125,232,137,69,244,255,117
	.byte	220,255,117,244,139,69,240,185,3,0,0,0,139,93,228,255
	.byte	83,4,61
	.long	KPfalseVKi
	.byte	117,48,255,117,244,139,69,240,185,2,0,0,0,139,93,232
	.byte	255,83,4,80,255,117,236,139,69,8,232
	.long	K113I - 4 - .
	.byte	255,117,244,139,69,240,185,2,0,0,0,139,93,224,255,83
	.byte	4,235,178,233,90,255,255,255


	.global Kcheck_computationVdfmc_flow_graphMM0I
	.type Kcheck_computationVdfmc_flow_graphMM0I,@function
	.size Kcheck_computationVdfmc_flow_graphMM0I, 23
Kcheck_computationVdfmc_flow_graphMM0I:
	.byte	137,199,184
	.long	KPfalseVKi
	.byte	252,101,139,53
	.long	teb@ntpoff
	.byte	199,70,32,0,0,0,0,195


	.global Kcheck_computationVdfmc_flow_graphMM1I
	.type Kcheck_computationVdfmc_flow_graphMM1I,@function
	.size Kcheck_computationVdfmc_flow_graphMM1I, 54
Kcheck_computationVdfmc_flow_graphMM1I:
	.byte	85,137,229,131,236,4,137,69,252,139,69,252,232
	.long	Kcheck_computationVdfmc_flow_graphMM0I - 4 - .
	.byte	139,117,252,139,70,32,191
	.long	Kcheck_objectVdfmc_flow_graph
	.byte	139,29
	.long	Kcheck_objectVdfmc_flow_graph + 24
	.byte	255,83,12,252,101,139,53
	.long	teb@ntpoff
	.byte	199,70,32,0,0,0,0,201,195


	.global Kcheck_computationVdfmc_flow_graphMM2I
	.type Kcheck_computationVdfmc_flow_graphMM2I,@function
	.size Kcheck_computationVdfmc_flow_graphMM2I, 151
Kcheck_computationVdfmc_flow_graphMM2I:
	.byte	131,236,24,255,116,36,24,85,137,229,131,236,4,137,69,252
	.byte	139,69,252,232
	.long	Kcheck_computationVdfmc_flow_graphMM0I - 4 - .
	.byte	139,117,252,139,126,20,129,255
	.long	KPfalseVKi
	.byte	117,99,184
	.long	KPtrueVKi
	.byte	129,255
	.long	KPfalseVKi
	.byte	116,31,139,117,252,139,70,20,185,1,0,0,0,187
	.long	KusedQVdfmc_commonMM0
	.byte	255,83,4,61
	.long	KPfalseVKi
	.byte	117,67,184
	.long	KPtrueVKi
	.byte	139,117,252,139,94,20,141,125,20,199,69,8
	.long	K89
	.byte	137,125,12,199,69,16,28,0,0,0,199,69,20
	.long	KLsimple_object_vectorGVKdW
	.byte	199,69,24,9,0,0,0,137,93,28,139,117,252,137,117,32
	.byte	201,233
	.long	KensureVdfmc_flow_graphMM0I - 4 - .
	.byte	184
	.long	KPfalseVKi
	.byte	235,155,184
	.long	KPfalseVKi
	.byte	235,187


	.global Kcheck_computationVdfmc_flow_graphMM3I
	.type Kcheck_computationVdfmc_flow_graphMM3I,@function
	.size Kcheck_computationVdfmc_flow_graphMM3I, 226
Kcheck_computationVdfmc_flow_graphMM3I:
	.byte	131,236,20,255,116,36,20,85,137,229,131,236,4,137,69,252
	.byte	139,69,252,191
	.long	K86
	.byte	232
	.long	Kcheck_computationVdfmc_flow_graphMM2I - 4 - .
	.byte	139,117,252,139,70,20,185,1,0,0,0,187
	.long	Kmultiple_valuesQVdfmc_flow_graph
	.byte	255,83,4,61
	.long	KPfalseVKi
	.byte	116,91,139,117,252,139,70,32,185,1,0,0,0,187
	.long	Kmultiple_valuesQVdfmc_flow_graph
	.byte	255,83,4,61
	.long	KPfalseVKi
	.byte	116,98,139,117,252,139,70,36,185,1,0,0,0,187
	.long	Kmultiple_valuesQVdfmc_flow_graph
	.byte	255,83,4,141,125,20,199,69,8
	.long	K83
	.byte	137,125,12,199,69,16,24,0,0,0,199,69,20
	.long	KLsimple_object_vectorGVKdW
	.byte	199,69,24,5,0,0,0,139,117,252,137,117,28,201,233
	.long	KensureVdfmc_flow_graphMM0I - 4 - .
	.byte	139,117,252,139,70,32,185,1,0,0,0,187
	.long	Kmultiple_valuesQVdfmc_flow_graph
	.byte	255,83,4,61
	.long	KPfalseVKi
	.byte	116,14,184
	.long	KPfalseVKi
	.byte	235,177,184
	.long	KPfalseVKi
	.byte	235,170,139,117,252,139,70,36,185,1,0,0,0,187
	.long	Kmultiple_valuesQVdfmc_flow_graph
	.byte	255,83,4,61
	.long	KPfalseVKi
	.byte	117,7,184
	.long	KPtrueVKi
	.byte	235,214,184
	.long	KPfalseVKi
	.byte	235,207


	.global Kcheck_computationVdfmc_flow_graphMM4I
	.type Kcheck_computationVdfmc_flow_graphMM4I,@function
	.size Kcheck_computationVdfmc_flow_graphMM4I, 155
Kcheck_computationVdfmc_flow_graphMM4I:
	.byte	131,236,20,255,116,36,20,85,137,229,131,236,4,137,69,252
	.byte	139,69,252,232
	.long	Kcheck_computationVdfmc_flow_graphMM0I - 4 - .
	.byte	139,117,252,139,70,20,185,1,0,0,0,187
	.long	Kmultiple_valuesQVdfmc_flow_graph
	.byte	255,83,4,61
	.long	KPfalseVKi
	.byte	116,65,139,117,252,139,70,32,185,1,0,0,0,187
	.long	Kmultiple_valuesQVdfmc_flow_graph
	.byte	255,83,4,141,125,20,199,69,8
	.long	K83
	.byte	137,125,12,199,69,16,24,0,0,0,199,69,20
	.long	KLsimple_object_vectorGVKdW
	.byte	199,69,24,5,0,0,0,139,117,252,137,117,28,201,233
	.long	KensureVdfmc_flow_graphMM0I - 4 - .
	.byte	139,117,252,139,70,32,185,1,0,0,0,187
	.long	Kmultiple_valuesQVdfmc_flow_graph
	.byte	255,83,4,61
	.long	KPfalseVKi
	.byte	117,7,184
	.long	KPtrueVKi
	.byte	235,177,184
	.long	KPfalseVKi
	.byte	235,170


	.global Kcheck_computationVdfmc_flow_graphMM5I
	.type Kcheck_computationVdfmc_flow_graphMM5I,@function
	.size Kcheck_computationVdfmc_flow_graphMM5I, 108
Kcheck_computationVdfmc_flow_graphMM5I:
	.byte	131,236,20,255,116,36,20,85,137,229,131,236,4,137,69,252
	.byte	139,69,252,232
	.long	Kcheck_computationVdfmc_flow_graphMM0I - 4 - .
	.byte	139,69,252,232
	.long	Kassigned_bindingVdfmc_flow_graphI - 4 - .
	.byte	191
	.long	KLmodule_bindingGVdfmc_namespace
	.byte	139,95,4,87,255,211,61
	.long	KPfalseVKi
	.byte	117,51,184
	.long	KPfalseVKi
	.byte	141,125,20,199,69,8
	.long	K80
	.byte	137,125,12,199,69,16,24,0,0,0,199,69,20
	.long	KLsimple_object_vectorGVKdW
	.byte	199,69,24,5,0,0,0,139,117,252,137,117,28,201,233
	.long	KensureVdfmc_flow_graphMM0I - 4 - .
	.byte	184
	.long	KPtrueVKi
	.byte	235,203


	.global Kcheck_computationVdfmc_flow_graphMM6I
	.type Kcheck_computationVdfmc_flow_graphMM6I,@function
	.size Kcheck_computationVdfmc_flow_graphMM6I, 119
Kcheck_computationVdfmc_flow_graphMM6I:
	.byte	131,236,20,255,116,36,20,85,137,229,131,236,4,137,69,252
	.byte	139,69,252,232
	.long	Kcheck_computationVdfmc_flow_graphMM0I - 4 - .
	.byte	139,117,252,139,70,20,61
	.long	KPfalseVKi
	.byte	117,71,191
	.long	KPtrueVKi
	.byte	61
	.long	KPfalseVKi
	.byte	116,66,185,1,0,0,0,187
	.long	Kmultiple_valuesQVdfmc_flow_graph
	.byte	255,83,4,141,125,20,199,69,8
	.long	K77
	.byte	137,125,12,199,69,16,24,0,0,0,199,69,20
	.long	KLsimple_object_vectorGVKdW
	.byte	199,69,24,5,0,0,0,139,117,252,137,117,28,201,233
	.long	KensureVdfmc_flow_graphMM0I - 4 - .
	.byte	191
	.long	KPfalseVKi
	.byte	235,183,137,248,235,199


	.global Kcheck_computationVdfmc_flow_graphMM7I
	.type Kcheck_computationVdfmc_flow_graphMM7I,@function
	.size Kcheck_computationVdfmc_flow_graphMM7I, 81
Kcheck_computationVdfmc_flow_graphMM7I:
	.byte	131,236,20,255,116,36,20,85,137,229,131,236,4,137,69,252
	.byte	139,69,252,232
	.long	Kcheck_computationVdfmc_flow_graphMM0I - 4 - .
	.byte	139,117,252,139,70,32,232
	.long	Kmultiple_valuesQVdfmc_flow_graphMM1I - 4 - .
	.byte	141,125,20,199,69,8
	.long	K72
	.byte	137,125,12,199,69,16,24,0,0,0,199,69,20
	.long	KLsimple_object_vectorGVKdW
	.byte	199,69,24,5,0,0,0,139,117,252,137,117,28,201,233
	.long	KensureVdfmc_flow_graphMM0I - 4 - .


	.global Kcheck_computationVdfmc_flow_graphMM8I
	.type Kcheck_computationVdfmc_flow_graphMM8I,@function
	.size Kcheck_computationVdfmc_flow_graphMM8I, 89
Kcheck_computationVdfmc_flow_graphMM8I:
	.byte	131,236,20,255,116,36,20,85,137,229,131,236,4,137,69,252
	.byte	139,69,252,232
	.long	Kcheck_computationVdfmc_flow_graphMM0I - 4 - .
	.byte	139,117,252,139,70,32,185,1,0,0,0,187
	.long	Kmultiple_valuesQVdfmc_flow_graph
	.byte	255,83,4,141,125,20,199,69,8
	.long	K72
	.byte	137,125,12,199,69,16,24,0,0,0,199,69,20
	.long	KLsimple_object_vectorGVKdW
	.byte	199,69,24,5,0,0,0,139,117,252,137,117,28,201,233
	.long	KensureVdfmc_flow_graphMM0I - 4 - .


	.global Kcheck_computationVdfmc_flow_graphMM9I
	.type Kcheck_computationVdfmc_flow_graphMM9I,@function
	.size Kcheck_computationVdfmc_flow_graphMM9I, 104
Kcheck_computationVdfmc_flow_graphMM9I:
	.byte	131,236,24,255,116,36,24,85,137,229,131,236,4,137,69,252
	.byte	139,117,252,139,126,36,139,127,32,106,16,104
	.long	KEEVKd
	.byte	104
	.long	KPempty_vectorVKi
	.byte	87,139,69,252,232
	.long	KmemberQVKdMM3I - 4 - .
	.byte	139,117,252,139,94,36,139,91,32,141,125,20,199,69,8
	.long	K69
	.byte	137,125,12,199,69,16,28,0,0,0,199,69,20
	.long	KLsimple_object_vectorGVKdW
	.byte	199,69,24,9,0,0,0,139,117,252,137,117,28,137,93,32
	.byte	201,233
	.long	KensureVdfmc_flow_graphMM0I - 4 - .


	.global Kcheck_objectVdfmc_flow_graphMM0I
	.type Kcheck_objectVdfmc_flow_graphMM0I,@function
	.size Kcheck_objectVdfmc_flow_graphMM0I, 23
Kcheck_objectVdfmc_flow_graphMM0I:
	.byte	137,199,184
	.long	KPfalseVKi
	.byte	252,101,139,53
	.long	teb@ntpoff
	.byte	199,70,32,0,0,0,0,195


	.global Kcheck_objectVdfmc_flow_graphMM1I
	.type Kcheck_objectVdfmc_flow_graphMM1I,@function
	.size Kcheck_objectVdfmc_flow_graphMM1I, 37
Kcheck_objectVdfmc_flow_graphMM1I:
	.byte	139,120,32,15,186,231,3,115,23,191
	.long	KPfalseVKi
	.byte	252,101,139,53
	.long	teb@ntpoff
	.byte	199,70,32,0,0,0,0,137,248,195,233
	.long	Kcheck_lambdaVdfmc_flow_graphI - 4 - .


	.global Kcheck_objectVdfmc_flow_graphMM2I
	.type Kcheck_objectVdfmc_flow_graphMM2I,@function
	.size Kcheck_objectVdfmc_flow_graphMM2I, 57
Kcheck_objectVdfmc_flow_graphMM2I:
	.byte	85,137,229,131,236,4,137,69,252,139,69,252,191
	.long	KfunctionVdfmc_modeling
	.byte	139,29
	.long	KfunctionVdfmc_modeling + 24
	.byte	255,83,12,191
	.long	Kcheck_objectVdfmc_flow_graph
	.byte	139,29
	.long	Kcheck_objectVdfmc_flow_graph + 24
	.byte	255,83,12,252,101,139,53
	.long	teb@ntpoff
	.byte	199,70,32,0,0,0,0,201,195

	.global primitive_set_mv_from_vector

	.global Kcheck_environmentVdfmc_flow_graphMM0I
	.type Kcheck_environmentVdfmc_flow_graphMM0I,@function
	.size Kcheck_environmentVdfmc_flow_graphMM0I, 189
Kcheck_environmentVdfmc_flow_graphMM0I:
	.byte	85,137,229,131,236,12,137,69,248,139,69,248,191
	.long	KenvironmentVdfmc_modeling
	.byte	139,29
	.long	KenvironmentVdfmc_modeling + 24
	.byte	255,83,12,137,69,244,139,69,12,191
	.long	KenvironmentVdfmc_modeling
	.byte	139,29
	.long	KenvironmentVdfmc_modeling + 24
	.byte	255,83,12,137,69,252,129,125,252
	.long	KPfalseVKi
	.byte	116,32,255,117,244,139,69,252,232
	.long	KEEVKdI - 4 - .
	.byte	61
	.long	KPfalseVKi
	.byte	116,91,184
	.long	KPempty_vectorVKi
	.byte	232
	.long	primitive_set_mv_from_vector - 4 - .
	.byte	201,194,8,0,139,69,248,191
	.long	KenvironmentVdfmc_modeling
	.byte	139,29
	.long	KenvironmentVdfmc_modeling + 24
	.byte	255,83,12,131,236,24,199,4,36
	.long	KLsimple_object_vectorGVKdW
	.byte	199,68,36,4,17,0,0,0,139,117,8,137,116,36,8,139
	.byte	117,248,137,116,36,12,139,117,12,137,116,36,16,137,68,36
	.byte	20,137,231,106,32,87,184
	.long	K115
	.byte	232
	.long	Kinvariant_errorVdfmc_flow_graphMM0I - 4 - .
	.byte	235,175,139,69,252,191
	.long	KouterVdfmc_flow_graph
	.byte	139,29
	.long	KouterVdfmc_flow_graph + 24
	.byte	255,83,12,233,113,255,255,255


	.type K113I,@function
	.size K113I, 142
K113I:
	.byte	129,124,36,8
	.long	KPfalseVKi
	.byte	116,105,85,137,229,131,236,4,137,69,252,139,69,12,191
	.long	KusersVdfmc_common
	.byte	139,29
	.long	KusersVdfmc_common + 24
	.byte	255,83,12,80,139,69,8,185,2,0,0,0,187
	.long	KmemberQVKd
	.byte	255,83,4,131,236,16,199,4,36
	.long	KLsimple_object_vectorGVKdW
	.byte	199,68,36,4,9,0,0,0,139,117,8,137,116,36,8,139
	.byte	117,12,137,116,36,12,137,231,106,28,87,104
	.long	K114
	.byte	232
	.long	KensureVdfmc_flow_graphMM0I - 4 - .
	.byte	139,69,12,139,117,252,137,117,12,201,233
	.long	Kcheck_environmentVdfmc_flow_graphMM0I - 4 - .
	.byte	187
	.long	KPfalseVKi
	.byte	101,139,61
	.long	teb@ntpoff
	.byte	131,199,36,199,7
	.long	KPfalseVKi
	.byte	253,137,216,194,8,0

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

	.global KPresolve_symbolVKiI

	.global _Init_dfmc_flow_graph__X_checker_for_system_fixups
	.type _Init_dfmc_flow_graph__X_checker_for_system_fixups,@function
	.size _Init_dfmc_flow_graph__X_checker_for_system_fixups, 71
_Init_dfmc_flow_graph__X_checker_for_system_fixups:
	.byte	85,137,229,131,236,4,199,69,252
	.long	KPresolve_symbolVKiI
	.byte	184
	.long	KJpreviousQ_
	.byte	255,85,252,137,5
	.long	IKJpreviousQ_
	.byte	184
	.long	KJbefore_
	.byte	255,85,252,137,5
	.long	K125 + 8
	.byte	137,5
	.long	K122 + 8
	.byte	184
	.long	KJafter_
	.byte	255,85,252,137,199,137,61
	.long	K125 + 12
	.byte	137,61
	.long	K122 + 16
	.byte	201,195


	.global _Init_dfmc_flow_graph__X_checker_for_system_0
	.type _Init_dfmc_flow_graph__X_checker_for_system_0,@function
	.size _Init_dfmc_flow_graph__X_checker_for_system_0, 15
_Init_dfmc_flow_graph__X_checker_for_system_0:
	.byte	85,137,229,184
	.long	KLinvariant_violationGVdfmc_flow_graph
	.byte	232
	.long	KPadd_classVKeI - 4 - .
	.byte	201,195


	.global _Init_dfmc_flow_graph__X_checker_for_system
	.type _Init_dfmc_flow_graph__X_checker_for_system,@function
	.size _Init_dfmc_flow_graph__X_checker_for_system, 15
_Init_dfmc_flow_graph__X_checker_for_system:
	.byte	85,137,229,232
	.long	_Init_dfmc_flow_graph__X_checker_for_system_fixups - 4 - .
	.byte	232
	.long	_Init_dfmc_flow_graph__X_checker_for_system_0 - 4 - .
	.byte	201,195

	.global primitive_allocate_thread_variable

	.global _Init_dfmc_flow_graph__X_checker_for_user_0
	.type _Init_dfmc_flow_graph__X_checker_for_user_0,@function
	.size _Init_dfmc_flow_graph__X_checker_for_user_0, 25
_Init_dfmc_flow_graph__X_checker_for_user_0:
	.byte	85,137,229,104
	.long	KPfalseVKi
	.byte	252,232
	.long	primitive_allocate_thread_variable - 4 - .
	.byte	131,196,4,137,5
	.long	Tchecker_messageTVdfmc_flow_graph
	.byte	201,195


	.global _Init_dfmc_flow_graph__X_checker_for_user
	.type _Init_dfmc_flow_graph__X_checker_for_user,@function
	.size _Init_dfmc_flow_graph__X_checker_for_user, 10
_Init_dfmc_flow_graph__X_checker_for_user:
	.byte	85,137,229,232
	.long	_Init_dfmc_flow_graph__X_checker_for_user_0 - 4 - .
	.byte	201,195
.section .note.GNU-stack,"",@progbits
