a copy of the table above and striking out each line that fails each
test. Only EXT000-063 is not by a "process of elimination" (if ... return True)
-**Length detection**: (critically-important to be short)
+**Length detection**: (critically-important to be short - 1 clock cycle)
```
- if PO1 return 64
- elif PO9 return 64
+ if PO1 or PO9 return 64
else return 32
```
**SVP64**:
-|0-5| 6-29 |30 31|32-37 | 38-663 | Description |
-|---|--------|-----|--------|--------|------------------|
-|PO9| xxxx | x x | 010001 | //// | RESERVED |
-|PO9| xxxx | x x | 000001 | //// | RESERVED |
-|PO9| !ZERO | 1 1 | !PO9 | xxxx | SSingle:EXT232-263 |
-|PO9| 0000 | 1 1 | !PO9 | xxxx | Scalar EXT232-263 |
-|PO9| SVRM | 1 0 | !PO9 | xxxx | SVP64:EXT232-263 |
-|PO9| 0000 | 0 1 | Defined Word-instruction | 32-bit EXT300-363 |
-|PO9| !ZERO | 0 1 | Defined Word-instruction | SSingle:EXT000-063 |
-|PO9| SVRM | 0 0 | Defined Word-instruction | SVP64:EXT000-063 |
```
# easy-elimination, first
if not PO9 return False