(prin1 1)