C printf implementation for Haxe