[Manishearth]

I'm not sure, tries are pretty easy with safe code. It's only things like data structures with parent pointers where things get hairy.

If your goal is to use malloc and stuff (which seems to be what the author wanted) then of course you should use unsafe. Unsafe is indeed for doing abstraction-writing like this. Still, you should avoid it if you can.