the null vector, 0
Initial NO_ERROR 0
failed operations. 0
computed (must not be 0)
[0..TABLE
PropertyIDs ARRAY [0..2] OF Cmp
. Might return 0. In
_MAX_SIZE, instNumber = 0) is
. Should be greater 0
