<pre>See issues 1536 and 1550 for programs whose legality is not obviously clear from the spec.</pre>