/* Commandline execution:
 *		civl verify minimal.cvl
 * */
void main() {
}