Input/output examples. (The code does not actually behave quite like this, yet).