{
  "equal": true,
  "normalization": "Remove only lines beginning with \\restrict or \\unrestrict; compare all remaining lines.",
  "normalized_sha256": "38c407af67d4a24735f3faafb44c402039a593370c6b029589beb2e344b56e92"
}