It's not impossible to verify it, it's impossible to automatically verify it with another program. Other issues are the underlying abstract machine (which can h

It's not impossible to verify it, it's impossible to automatically verify it with another program. Other issues are the underlying abstract machine (which can have its own bugs) and the surrounding environment (you either need to assert or/and sanitize your inputs).