RE: Overloaded record fields