Use clisp ~:p format string