- detect overflow of static and read-only spaces during PURIFY. You get dumped into LDB. - fix a few signed/unsigned confusions in casts