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