Temporarily adding 2 versions of 'continue execution', fixes #10