Files in example/lib/ of 6e4375539e4cd8f7

Files in directory example/lib of check-in 6e4375539e4cd8f7