A small, fast, JavaScript-based JavaScript parser