printf na main