singrdk/base/build/boogie/microsoft.visualstudio.ole....