############################################################
#  Tests 
#     ladd
#     laddnew
############################################################
read ladd;

l1 := [1,2,3,4];

############################################################
#  Note the use of the 'printf' procedure, and the '%a'
#  format specification.
############################################################
printf("ladd(...) is %a \n", ladd(l1));
printf("laddnew(...) is %a \n", laddnew(l1));