Use a sum of the first ghost opcodes as 'initial-state'