more work on internal record format