Finish `Execution with double stack machine`