if (defined($info{$b})) { die "Duplicate reference"; }
$info{$b} = $b;