Then, the interpreter is ready to find and execute the appropriate emulous procedure, using the values previously extracted from the input. After the execution the expected results of the input instance are automatically generated and saved to be used during the final TCP.