record INT_VALUE ( integer val );
reference(INT_VALUE) refInt;