Flagged throwException functions as non return