 cInsExtIndices ie =
   peekArray ie {#get CInsExtValInfo->indices#} {#get CInsExtValInfo->numIndices#}
 
+data CConstExprInfo
+{#pointer *CConstExprInfo as ConstExprPtr -> CConstExprInfo #}
+cConstExprTag :: ConstExprPtr -> IO ValueTag
+cConstExprTag = {#get CConstExprInfo->instrType#}
+cConstExprOperands :: ConstExprPtr -> IO [ValuePtr]
+cConstExprOperands ce =
+  peekArray ce {#get CConstExprInfo->operands#} {#get CConstExprInfo->numOperands#}
+
 data CPHIInfo
 {#pointer *CPHIInfo as PHIInfoPtr -> CPHIInfo #}
 cPHIValues :: PHIInfoPtr -> IO [ValuePtr]

                            , insertValueValue = val
                            , insertValueIndices = indices
                            }

    ValConstantvector -> translateConstantAggregate finalState ConstantVector (castPtr dataPtr)
    ValConstantfp -> translateConstantFP finalState (castPtr dataPtr)
    ValConstantint -> translateConstantInt finalState (castPtr dataPtr)
    ValRetinst -> translateRetInst finalState (castPtr dataPtr)
    ValBranchinst -> translateBranchInst finalState (castPtr dataPtr)
    ValSwitchinst -> translateSwitchInst finalState (castPtr dataPtr)
