RecordType
A little bit of ALU.