How instructions get executed in Casper?