#!/bin/sh
../acl2-images/interface-acl2
