backend reported printf warnings on x64