Thrift definitions for filter stuff.