\begin{figure}
\begin{verbatim}
record ColoredShape {
    int:x1, int:x2, int:x3, int:x4,
    int:r, int:g, int:b,/*int:pad1,*/
    int:y1, int:y2,int:y3, int:y4
}
\end{verbatim}
\caption{A reordering of the fields of ColoredShape suggested by XOrder.
%The \texttt{x} 
%fields are placed together because of static transaction
%(\texttt{n1},\texttt{n4}). The \texttt{y}
%fields are placed together because of static transaction
%(\texttt{n2},\texttt{n3}). The fields \texttt{r}, \texttt{g}, and \texttt{b}
%are used as a buffer to separate the transactionial fields. XOrder suggests
%the insertion of a field, {\tt pad1}, because there is not enough padding
%fields to separate the fields of static transactions (\texttt{n1},\texttt{n4})
%and (\texttt{n2},\texttt{n3}).
}
\label{Fi:Reorder}
\end{figure}
