- trailer->pool in FindWhichPage() needs alignement check (may -by accident- point to non-aligned adres, so that tailer->pool->magic1 results in an error) - check for valid pool in FindWhichPage can be improved by jumping to the end of the candidate page and check for a unique code for the page, that also occurs in the beginning. A scrambled sequence number would be perfect for the code.