Make the "pr" function use `printf` instead of `echo sprintf`