> Thanks for the info anyway.  It's somewhat annoying that stdout
> can't be line buffered.

If you wrap the stdout with an ExtLib IO filter, you can buffer it how you
like.
But it will require changing your calls to printf by IO.printf for example.

Nicolas