(princ "Hello world!\n")