branches/fault: added framework support to handle thread overrun and thread exception using casros