The untested version of migrated util.js