3.1.2 libraries from 3.1.1