#!/bin/sh
exec "./acl2-gcl-hiding-and-highlighting.gcl" -dir "./"