destructors on jump statements
exception handling