[{ s =
   (ExprStmt (
      { e =
        (Call (
           { e =
             (N
                (Id (("htmlspecialchars", _),
                   { id_resolved = ref (None);
                     id_resolved_alternatives = ref ([]);
                     id_type = ref (None); id_svalue = ref (Unknown);
                     id_flags = ref (2); id_info_id = _ }
                   )));
             e_id = 0; e_range = None; is_implicit_return = false;
             facts = <opaque> },
           (_,
            [(Arg
                { e =
                  (N
                     (Id (("$string", _),
                        { id_resolved = ref (None);
                          id_resolved_alternatives = ref ([]);
                          id_type = ref (None); id_svalue = ref (Unknown);
                          id_flags = ref (0); id_info_id = _ }
                        )));
                  e_id = 0; e_range = None; is_implicit_return = false;
                  facts = <opaque> });
              (ArgKwd (("double_encode", _),
                 { e = (L (Bool (false, _))); e_id = 0; e_range = None;
                   is_implicit_return = false; facts = <opaque> }
                 ))
              ],
            _)
           ));
        e_id = 0; e_range = None; is_implicit_return = false;
        facts = <opaque> },
      _));
   s_range = None }
  ]