+
+mAX_Real_Vanilla_REG = (MAX_REAL_VANILLA_REG :: Int)
+mAX_Real_Float_REG = (MAX_REAL_FLOAT_REG :: Int)
+mAX_Real_Double_REG = (MAX_REAL_DOUBLE_REG :: Int)
+\end{code}
+
+Closure header sizes.
+
+\begin{code}
+sTD_HDR_SIZE = (STD_HDR_SIZE :: Int)
+pROF_HDR_SIZE = (PROF_HDR_SIZE :: Int)
+gRAN_HDR_SIZE = (GRAN_HDR_SIZE :: Int)
+tICKY_HDR_SIZE = (TICKY_HDR_SIZE :: Int)
+aRR_HDR_SIZE = (ARR_HDR_SIZE :: Int)
+\end{code}
+
+Info Table sizes.
+
+\begin{code}
+sTD_ITBL_SIZE = (STD_ITBL_SIZE :: Int)
+pROF_ITBL_SIZE = (PROF_ITBL_SIZE :: Int)
+gRAN_ITBL_SIZE = (GRAN_ITBL_SIZE :: Int)
+tICKY_ITBL_SIZE = (TICKY_ITBL_SIZE :: Int)
+\end{code}
+
+Size of a double in StgWords.
+
+\begin{code}
+dOUBLE_SIZE = (DOUBLE_SIZE :: Int)
+mAX_Long_REG = (MAX_LONG_REG :: Int)
+wORD64_SIZE = (WORD64_SIZE :: Int)
+iNT64_SIZE = (INT64_SIZE :: Int)
+\end{code}
+
+The version of the interface file format we're
+using:
+
+\begin{code}
+interfaceFileFormatVersion = HscIfaceFileVersion