Binary file format for spec.info.