FIXED records definition for public API