set-diff pkg-symbols