\(def nl 0 {
})\(def a 0 a \(nl) b)\(a)
