5.6.3.1 x1f4_fini_shuffle

extern int x1f4_fini_shuffle
    (void **x1f4_program);

The x1f4_fini_shuffle function frees the memory allocated for the program executable representation recorded at the x1f4_program address.