printf for haxe