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" ;
]