#!/bin/bash

TARGFILE=$1

echo '   ('
egrep '^\(define \(' $TARGFILE | tr '()' '  '|awk '{print $2}'
egrep '^\(define \*' $TARGFILE | awk '{print $2}'
echo ')'
