comment wrong: we inline the nested records.