aspect LibraryAspect {
    public void lib.LibraryInterface.run() {
        System.err.println("LibraryAspect-defined run() for " + this);
    }
}