thrift syntax