Extract traverse.js