Input/Output in external formats.
