libdefs.js