In Section 5.2, the annotation value type for terminus capability corresponding to a destination type is described as a byte. It should be allowed to be any integer type.