Do we have a test for checking if we do not make collisions in `PROTO_BASE` numbering ?
`PROTO_BASE+X` != `PROTO_BASE+Y` so `X` is always different than `Y` for every `X,Y` we have in the code ?