Message HrzProtocol.IntProperty Defined in hrz/protocol/types/primitive.proto. Fields name: string default_value: int64