[choice-of-error-3.html]
  expected:
    if not debug and (os == "linux"): [OK, CRASH]
    if not debug and (os == "mac"): [OK, CRASH]
    if not debug and (os == "android"): [OK, CRASH]