src: return after throwing an exception