Renamed int4state and its fields; towards GENR