let rte_wp =
  [
    "valid pointer dereferencing" , get_memAccess_status , "-rte-mem" ;
    "division by zero" , get_divMod_status , "-rte-div" ;
    "signed overflow" , get_signedOv_status , "-rte-signed" ;
    "unsigned overflow" , get_unsignedOv_status , "-rte-unsigned-ov" ;
  ]