(function(program, execJS) { execJS(program) })(function() {
return eval(#{encode_source(source)});
}, function(program) {
var output; try { result = program(); if (typeof result == 'undefined' && result !== null) { print('["ok"]'); } else { try { print(JSON.stringify(['ok', result])); } catch (err) { print('["err"]'); } } } catch (err) { print(JSON.stringify(['err', '' + err])); }
});