- Changed call instruction to have 2 target branches (continuation/exception)