gerrit.onosproject.org / onos / 5ff76b7bd3ef45b8538464a6fc510995d120739e / apps / inbandtelemetry / api / src / main / resources / definitions / Int.json