{
  "base": "f40f2e770e0d8be394f1ef53b404045fd6a49c0e",
  "only_product_change": "while (now() <= deadline) -> for (;;)",
  "other_product_bytes_unchanged": true,
  "trailing_unknown_fallback": "unchanged; unreachable"
}