made a wrapper for printf