throw syntax and semantics

• A throw statement is syntactically like a return statement.

• Execution immediately leaves the function that throws.

• Local objects are all normally destroyed (like a return).

• Stack is unwound, thus destroying local objects in each stack frame until catch is found.

• Execution resumes with first catch statement.

• When catch finished, execution continues with statements after catch.