> The lines below are my own DEBUG() statements, so they won't look > familiar. They do show, however, that name_map_mangle() is called twice > for every name. looks like a bug to me :-)