record Leaf { v = 0 }
state x: Leaf | text = ""