Have you considered "ASSERT"?
Also what version of SBT and what build? If you are really at EOF() then something is wrong with the data! But most likely it has something to do with findkey (can't recall but it's something like g_findkey or g_trykey).
John