annotated trace; documentation