#include "monoid.hpp" void walk_children_stack(monoid m); void walk_children(const monoid m);