This directory contains several examples encoded in the SAL lisp-like
input syntax. This input syntax is mainly used by other programs which
are generating SAL specifications automatically.
