Add mising export.
Add example with IO checks.