interface Records =

Record mappings.