I would like to be able to apply basic arithmetic operations to the values in size determinants for ACN encoding
As an example, the CCSDS Space Packet specification defines the packet data length field as the number of octets trailing the primary header, minus 1.

So I would like to define the data field as, e.g.:
packetDataLength INTEGER [...]
...
data OCTECT STRING [size packetDataLength + 1, ...]
Is something like this possible?