Check that exported identifiers exist (fix #73).