How to Repair Broken Pointers in Top Secret