[synthetic-height.html]
  max-asserts: 2
  expected:
    if (os == "linux") and not debug and not asan and not tsan: [PASS, FAIL]