#!/bin/bash

read line
echo $line;
while read line
do
	COMMAND=$(echo "$line" | cut -d ':' -f 1 | cut -d '(' -f 1 | xargs )
	ADDRESS=$(echo "$line" | cut -d '[' -f 2 | cut -d ';' -f 1 | cut -d ']' -f 1 | xargs )
	LINE_DESC=$(addr2line -e "$COMMAND" "$ADDRESS")
	echo '  '"$COMMAND"' : '"$LINE_DESC"
done