[define-customized-builtins.html]
  max-asserts: 2