[counter-korean-hanja-formal.html]
  max-asserts: 2