pug-php/js-phpize

return json_encode(JSON.parse('{"a": 9}').a);