tests/events.cpp: support printing the navigation structure