Slight updates to malloc537, and our clean_tree should be goodish.
But not perfect.