Fixtype of (our model of) Java byte arrays.
This is a product type introduced by fty::defprod.
The following invariant is enforced on the fields:
(< (len components) (expt 2 31))
