(lang dune 1.6)
(name a)
