Is it true or false that -profile XYZ can change the tail-recursive nature of a program? Similarly, can -profile XYZ not change the tail-recursive nature of the source program, but inhibit optimizations that may have improved the number of tail calls. An assertion to that fact would probably be a good addition to the UserGuide.