inputFileBig#fa4f0bb5 id:long parts:int name:string = InputFile;
t :: %TL.InputFileBig{id: integer, name: String.t, parts: integer}