function atslangweb_patsopt_atscc2js_code_1_($arg0)
{
    /*
      // $tmpret194
      // $tmp195
    */
    __patsflab_patsopt_atscc2js_code_1_:
    $tmp195 = sprintf("%s\n%s\n%s\n", $GLOBALS['atslangweb_patsopt_atscc2js_preamble'], $arg0, $GLOBALS['atslangweb_patsopt_atscc2js_postamble']);
    $tmpret194 = atslangweb_patsopt_atscc2js_code_0_($tmp195);
    return $tmpret194;
}
$MYPHPDIR = "";
/*
$MYPHPDIR = "SERVER/MYCODE"; // for testing
*/
//
include "./{$MYPHPDIR}/libatscc2php_all.php";
//
include "./{$MYPHPDIR}/basics_cats.php";
//
include "./{$MYPHPDIR}/basics_dats.php";
include "./{$MYPHPDIR}/atslangweb_utils_dats.php";
//
$HOME = getenv("HOME");
$PATSHOME = "{$HOME}/app-root/repo/ats2-lang";
putenv("PATSHOME={$PATSHOME}");
$PATSHOMERELOC = "{$HOME}/app-root/repo/ats2-lang-contrib";
putenv("PATSHOMERELOC={$PATSHOMERELOC}");
//
$PATH = getenv("PATH");
putenv("PATH={$PATH}:{$PATSHOME}/bin");
//
$mycode = rawurldecode($_REQUEST["mycode"]);
$mycode_res = atslangweb_patsopt_atscc2js_code_0_($mycode);
//
echo rawurldecode(json_encode($mycode_res));
//
/* end of [atslangweb_patsopt_atscc2js_0_.php] */
//
?>