A practical interface generator for data formats.