A Copy-Paste Bug That Broke PSpice AES-256 Encryption