shadow_free_all
shadow_free_all(SV_ID2, NULL); /* 'int' pairs */
shadow_free_all(SV_ID1, NULL); /* 'char' pairs */