 
 
| Constraint on X | Domain of X | extra_cstr | Lost values | 
| X #=< 512 | 0..512 | off | none | 
| X #\= 10 | 0..9:11..127 | on | 128..512 | 
| X #=< 100 | 0..9:11..100 | off | none | 
| Constraint on X | Domain of X | extra_cstr | Lost values | 
| X #=< 512 | 0..512 | off | none | 
| X #\= 10 | 0..9:11..127 | on | 128..512 | 
| X #>= 256 | Warning: Vector too small... | on | 128..512 | 
 
