William James wrote:

> > A small point.
> >   print_endline op
> > is shorter.  Is it faster?
>
> Not with the interpreter; it's slower.  Haven't tested the compiler yet.

If anything, it'll be slower, as print_endline flushes the buffer every
call, whereas print_string and print_char do not.