Megatest: get-procedures.sh at [bea6ae9a16]

File utils/get-procedures.sh artifact aa92973588 part of check-in bea6ae9a16

#!/bin/bash

fname=$1

grep '(define (' $fname | tr '()' '  '|awk '{print $2}'