add recognition of 0xNNN and 0bMMMM to sv/trans/svp64.py