Assert: exception code