writef() and friends