add tests to illustrate symbol leakage problems