#!/bin/sh

export ACL2_SYSTEM_BOOKS=/opt/acl2/books/
/opt/acl2/saved_acl2 $@