let rte_wp =
  [
    "valid pointer dereferencing" , rte_memAccess_status , "-rte-mem" ;
    "division by zero" , rte_divMod_status , "-rte-div" ;
    "signed overflow" , rte_signedOv_status , "-rte-signed" ;
    "unsigned overflow" , rte_unsignedOv_status , "-rte-unsigned-ov" ;
  ]