+ ppr label = ppr (getUnique label)
+
+retPtLbl :: BlockId -> CLabel
+retPtLbl label = mkReturnPtLabel $ getUnique label
+
+blockLbl :: BlockId -> CLabel
+blockLbl label = mkEntryLabel (mkFCallName (getUnique label) "block") NoCafRefs
+
+infoTblLbl :: BlockId -> CLabel
+infoTblLbl label = mkInfoTableLabel (mkFCallName (getUnique label) "block") NoCafRefs
+
+-- Block environments: Id blocks
+type BlockEnv a = LabelMap a
+
+instance Outputable a => Outputable (BlockEnv a) where
+ ppr = ppr . mapToList
+
+emptyBlockMap :: BlockEnv a
+emptyBlockMap = mapEmpty