Utilities for interactive I/O
