intro - introduction to file formats This section describes Inferno file formats that are meant to be public (as opposed to formats that are for a program's internal use). It also describes a few system conventions.