Thrift definitions, making HLT data specifications concrete