Excp_type
excptype = Excp_type(exception_index);
switch(Excp_type(exception_index)) {
__LINE__, Excp_type(exception_index));