Coq also uses level 200 for these constructs.
Besides, heap_lang's match and if were also already at this level.