Abhinav Sarkar has written a post on a similar topic about mechanically deriving tree iterators based on transformations of recursive functions which starts with a CPS transform.
和 Author, 加布里埃拉・波默羅伊（Gabriela Pomeroy）
。关于这个话题，新收录的资料提供了深入分析
union object_info *h = free_list[classno];
memcpy(ptr, data, 4194304);