Added proper console printing functions (now supports formatting strings).