This assert is unnecessary. All functions are assumed to not throw.