check_exec_fault
FAIL_IF(check_exec_fault(PROT_NONE));
FAIL_IF(check_exec_fault(PROT_READ));
FAIL_IF(check_exec_fault(PROT_WRITE));
FAIL_IF(check_exec_fault(PROT_READ | PROT_WRITE));
FAIL_IF(check_exec_fault(PROT_EXEC));
FAIL_IF(check_exec_fault(PROT_READ | PROT_EXEC));
FAIL_IF(check_exec_fault(PROT_WRITE | PROT_EXEC));
FAIL_IF(check_exec_fault(PROT_READ | PROT_WRITE | PROT_EXEC));