cn0: convert-names in 
cn0: (((x literal)) <- ((copy)) ((0 literal))) nil nil
cn0: checking arg ((0 literal))
cn0: checking oarg ((x literal))
maybe-add: ((x literal))
cn1: (((x literal)) <- ((copy)) ((0 literal)))
