cn0: convert-names in 
cn0: (((x boolean)) <- ((copy)) ((x literal))) nil nil
cn0: checking arg ((x literal))
cn0: checking oarg ((x boolean))
maybe-add: ((x boolean))
cn0: location for oarg ((x boolean)): 1
cn1: (((1 boolean)) <- ((copy)) ((x literal)))
