enum Sizeok : int
{
    SIZEOKnone, // size of aggregate is not computed yet
    SIZEOKdone, // size of aggregate is set correctly
    SIZEOKfwd, // error in computing size of aggregate
}