(vau () (+ 1 2))