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