Retrieved c_independent
PROCEDURE [TUPLE [STRING_8]]
PROCEDURE [TUPLE [STRING_8]]
FUNCTION [TUPLE [STRING_8], INTEGER_32]
PREDICATE [TUPLE [STRING_8]]
Retrieved sed_recoverable
PROCEDURE [TUPLE [STRING_8]]
PROCEDURE [TUPLE [STRING_8]]
FUNCTION [TUPLE [STRING_8], INTEGER_32]
PREDICATE [TUPLE [STRING_8]]
Execution completed