Verify that extern symbols haven't been redefined in src.