[synthetic-height.html]
  max-asserts: 2