op {
  graph_op_name: "BarrierTakeMany"
  visibility: HIDDEN
}