Created unified exit to be more compatible with Microsoft boogie.