/test/stubs/org/checkerframework/common/aliasing/qual/