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