Write a function in ACL$2,$ which duplicates a list of atoms. For example $($dup $\text{'}(1223))$ same as appending one duped list to another.