Files in lib/ of f7a81bb10b1130a4

Files in directory /lib of check-in f7a81bb10b1130a4