modified printf