final printf