data class Annotated : Out
Annotated(ann: Ann, body: Out)
val ann: Ann
val body: Out
fun emit(s: Ansi): Unit