--- parser3/www/htdocs/Attic/auto.p	2002/06/20 14:50:24	1.13
+++ parser3/www/htdocs/Attic/auto.p	2002/08/08 10:04:38	1.16
@@ -1,3 +1,5 @@
+#@auto[a]
+#^throw[user;$a]
+
 @main[]
 /auto.p main
-