sbool gazelle_isEmbeddedEval(S s) {
  ret startsWithEndsWith(s, "{=", "}");
}