Summarizes the motivation for the new type qualifier restrict and explains how to use it. Also show...