Demonstration of (buggy) library