extern int x1f4_post_shuffle (void *subtext, void *output);
x1f4_post_shuffle function stores the result of the last evaluation
of the program associated with the
subtext step by step execution
context at the address indicated by
output. The result is the integer
value returned by the function ‘main’.
The function returns