added examples to docstring of undefined behavior