Move library to pushpop.js