IO utilities for the machines library