rewrite x0
(first (args))
