| 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 |