An ML binary tree traverser and printer