Debugging new annotations