Fail more gracefully for arguments that aren't 64 bits
Fail more gracefully for arguments that aren't 64 bits

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script