proper usage of printf builtin