What is the difference between while (true) vs. while (\true)? (stackoverflow.com)