modify to add PRINT-TUPLE function