#!/usr/bin/awk -f

/^# [-=] [a-zA-Z_.]+$/ {
	print $2 " " $3
}

/^$/ {
	exit
}
