changed namespace of printf