sql-js/sql.js ? reverse-engineered prompt