Tiny but fully loaded printf implementation