Satoshi VM Analysis