why not include the buffer in the printf?