with_top.preorder source