changing the output of `std.stdio.write'

[Manfred Nowak]

On Thursday, 3 January 2019 at 18:11:43 UTC, Paul Backus wrote:
> [...] functions [...] default to `%s`.

thx. I should have rtfm instead of looking for an example.
-manfred