Prototype of record extension.