Export for tagmarks
debugging