PlatformConstants {
    pc_platformConstants = ()
    , pc_CONTROL_GROUP_CONST_291 = 291
    , pc_STD_HDR_SIZE = 1
    , pc_PROF_HDR_SIZE = 2
    , pc_BLOCK_SIZE = 4096
    , pc_BLOCKS_PER_MBLOCK = 252
    , pc_TICKY_BIN_COUNT = 9
    , pc_OFFSET_StgRegTable_rR1 = 0
    , pc_OFFSET_StgRegTable_rR2 = 8
    , pc_OFFSET_StgRegTable_rR3 = 16
    , pc_OFFSET_StgRegTable_rR4 = 24
    , pc_OFFSET_StgRegTable_rR5 = 32
    , pc_OFFSET_StgRegTable_rR6 = 40
    , pc_OFFSET_StgRegTable_rR7 = 48
    , pc_OFFSET_StgRegTable_rR8 = 56
    , pc_OFFSET_StgRegTable_rR9 = 64
    , pc_OFFSET_StgRegTable_rR10 = 72
    , pc_OFFSET_StgRegTable_rF1 = 80
    , pc_OFFSET_StgRegTable_rF2 = 84
    , pc_OFFSET_StgRegTable_rF3 = 88
    , pc_OFFSET_StgRegTable_rF4 = 92
    , pc_OFFSET_StgRegTable_rF5 = 96
    , pc_OFFSET_StgRegTable_rF6 = 100
    , pc_OFFSET_StgRegTable_rD1 = 104
    , pc_OFFSET_StgRegTable_rD2 = 112
    , pc_OFFSET_StgRegTable_rD3 = 120
    , pc_OFFSET_StgRegTable_rD4 = 128
    , pc_OFFSET_StgRegTable_rD5 = 136
    , pc_OFFSET_StgRegTable_rD6 = 144
    , pc_OFFSET_StgRegTable_rXMM1 = 152
    , pc_OFFSET_StgRegTable_rXMM2 = 168
    , pc_OFFSET_StgRegTable_rXMM3 = 184
    , pc_OFFSET_StgRegTable_rXMM4 = 200
    , pc_OFFSET_StgRegTable_rXMM5 = 216
    , pc_OFFSET_StgRegTable_rXMM6 = 232
    , pc_OFFSET_StgRegTable_rYMM1 = 248
    , pc_OFFSET_StgRegTable_rYMM2 = 280
    , pc_OFFSET_StgRegTable_rYMM3 = 312
    , pc_OFFSET_StgRegTable_rYMM4 = 344
    , pc_OFFSET_StgRegTable_rYMM5 = 376
    , pc_OFFSET_StgRegTable_rYMM6 = 408
    , pc_OFFSET_StgRegTable_rZMM1 = 440
    , pc_OFFSET_StgRegTable_rZMM2 = 504
    , pc_OFFSET_StgRegTable_rZMM3 = 568
    , pc_OFFSET_StgRegTable_rZMM4 = 632
    , pc_OFFSET_StgRegTable_rZMM5 = 696
    , pc_OFFSET_StgRegTable_rZMM6 = 760
    , pc_OFFSET_StgRegTable_rL1 = 824
    , pc_OFFSET_StgRegTable_rSp = 832
    , pc_OFFSET_StgRegTable_rSpLim = 840
    , pc_OFFSET_StgRegTable_rHp = 848
    , pc_OFFSET_StgRegTable_rHpLim = 856
    , pc_OFFSET_StgRegTable_rCCCS = 864
    , pc_OFFSET_StgRegTable_rCurrentTSO = 872
    , pc_OFFSET_StgRegTable_rCurrentNursery = 888
    , pc_OFFSET_StgRegTable_rHpAlloc = 904
    , pc_OFFSET_stgEagerBlackholeInfo = -24
    , pc_OFFSET_stgGCEnter1 = -16
    , pc_OFFSET_stgGCFun = -8
    , pc_OFFSET_Capability_r = 24
    , pc_OFFSET_bdescr_start = 0
    , pc_OFFSET_bdescr_free = 8
    , pc_OFFSET_bdescr_blocks = 48
    , pc_OFFSET_bdescr_flags = 46
    , pc_SIZEOF_CostCentreStack = 96
    , pc_OFFSET_CostCentreStack_mem_alloc = 72
    , pc_REP_CostCentreStack_mem_alloc = 8
    , pc_OFFSET_CostCentreStack_scc_count = 48
    , pc_REP_CostCentreStack_scc_count = 8
    , pc_OFFSET_StgHeader_ccs = 8
    , pc_OFFSET_StgHeader_ldvw = 16
    , pc_SIZEOF_StgSMPThunkHeader = 8
    , pc_OFFSET_StgEntCounter_allocs = 48
    , pc_REP_StgEntCounter_allocs = 8
    , pc_OFFSET_StgEntCounter_allocd = 16
    , pc_REP_StgEntCounter_allocd = 8
    , pc_OFFSET_StgEntCounter_registeredp = 0
    , pc_OFFSET_StgEntCounter_link = 56
    , pc_OFFSET_StgEntCounter_entry_count = 40
    , pc_SIZEOF_StgUpdateFrame_NoHdr = 8
    , pc_SIZEOF_StgMutArrPtrs_NoHdr = 16
    , pc_OFFSET_StgMutArrPtrs_ptrs = 0
    , pc_OFFSET_StgMutArrPtrs_size = 8
    , pc_SIZEOF_StgSmallMutArrPtrs_NoHdr = 8
    , pc_OFFSET_StgSmallMutArrPtrs_ptrs = 0
    , pc_SIZEOF_StgArrBytes_NoHdr = 8
    , pc_OFFSET_StgArrBytes_bytes = 0
    , pc_OFFSET_StgTSO_alloc_limit = 96
    , pc_OFFSET_StgTSO_cccs = 112
    , pc_OFFSET_StgTSO_stackobj = 16
    , pc_OFFSET_StgStack_sp = 8
    , pc_OFFSET_StgStack_stack = 16
    , pc_OFFSET_StgUpdateFrame_updatee = 0
    , pc_OFFSET_StgFunInfoExtraFwd_arity = 4
    , pc_REP_StgFunInfoExtraFwd_arity = 4
    , pc_SIZEOF_StgFunInfoExtraRev = 24
    , pc_OFFSET_StgFunInfoExtraRev_arity = 20
    , pc_REP_StgFunInfoExtraRev_arity = 4
    , pc_MAX_SPEC_SELECTEE_SIZE = 15
    , pc_MAX_SPEC_AP_SIZE = 7
    , pc_MIN_PAYLOAD_SIZE = 1
    , pc_MIN_INTLIKE = -16
    , pc_MAX_INTLIKE = 16
    , pc_MIN_CHARLIKE = 0
    , pc_MAX_CHARLIKE = 255
    , pc_MUT_ARR_PTRS_CARD_BITS = 7
    , pc_MAX_Vanilla_REG = 10
    , pc_MAX_Float_REG = 6
    , pc_MAX_Double_REG = 6
    , pc_MAX_Long_REG = 1
    , pc_MAX_XMM_REG = 6
    , pc_MAX_Real_Vanilla_REG = 6
    , pc_MAX_Real_Float_REG = 6
    , pc_MAX_Real_Double_REG = 6
    , pc_MAX_Real_XMM_REG = 6
    , pc_MAX_Real_Long_REG = 0
    , pc_RESERVED_C_STACK_BYTES = 16384
    , pc_RESERVED_STACK_WORDS = 21
    , pc_AP_STACK_SPLIM = 1024
    , pc_WORD_SIZE = 8
    , pc_DOUBLE_SIZE = 8
    , pc_CINT_SIZE = 4
    , pc_CLONG_SIZE = 8
    , pc_CLONG_LONG_SIZE = 8
    , pc_BITMAP_BITS_SHIFT = 6
    , pc_TAG_BITS = 3
    , pc_WORDS_BIGENDIAN = False
    , pc_DYNAMIC_BY_DEFAULT = False
    , pc_LDV_SHIFT = 30
    , pc_ILDV_CREATE_MASK = 1152921503533105152
    , pc_ILDV_STATE_CREATE = 0
    , pc_ILDV_STATE_USE = 1152921504606846976
  }