op { graph_op_name: "PopulationCount" visibility: HIDDEN }