#!/bin/bash
if [[ $# != 2 ]]; then
  echo >&2 "Usage: $0 name address"
  exit 2
fi
name=$1
address=$2
addr_last12=`echo -n "$address" | tail -c 3`
for id in `grep -e "^$name .*$addr_last12" db/*.symbols \
      | perl -n -e '/db\/(.*)\.symbols/ && print "$1\n"'`; do
  echo "`cat db/${id}.info` (id $id)"
done