Retrieved c_basic
BOOLEAN: OK
CHARACTER_8: OK
CHARACTER_32: OK
INTEGER_8: OK
INTEGER_16: OK
INTEGER_32: OK
INTEGER_64: OK
NATURAL_8: OK
NATURAL_16: OK
NATURAL_32: OK
NATURAL_64: OK
POINTER: OK
REAL_32: OK
REAL_64: OK
POINTER: OK
POINTER: OK
X: OK

Retrieved c_independent
BOOLEAN: OK
CHARACTER_8: OK
CHARACTER_32: OK
INTEGER_8: OK
INTEGER_16: OK
INTEGER_32: OK
INTEGER_64: OK
NATURAL_8: OK
NATURAL_16: OK
NATURAL_32: OK
NATURAL_64: OK
POINTER: OK
REAL_32: OK
REAL_64: OK
POINTER: OK
POINTER: OK
X: OK

Retrieved sed_session
BOOLEAN: OK
CHARACTER_8: OK
CHARACTER_32: OK
INTEGER_8: OK
INTEGER_16: OK
INTEGER_32: OK
INTEGER_64: OK
NATURAL_8: OK
NATURAL_16: OK
NATURAL_32: OK
NATURAL_64: OK
POINTER: OK
REAL_32: OK
REAL_64: OK
POINTER: OK
POINTER: OK
X: OK

Retrieved sed_basic
BOOLEAN: OK
CHARACTER_8: OK
CHARACTER_32: OK
INTEGER_8: OK
INTEGER_16: OK
INTEGER_32: OK
INTEGER_64: OK
NATURAL_8: OK
NATURAL_16: OK
NATURAL_32: OK
NATURAL_64: OK
POINTER: OK
REAL_32: OK
REAL_64: OK
POINTER: OK
POINTER: OK
X: OK

Retrieved sed_recoverable
BOOLEAN: OK
CHARACTER_8: OK
CHARACTER_32: OK
INTEGER_8: OK
INTEGER_16: OK
INTEGER_32: OK
INTEGER_64: OK
NATURAL_8: OK
NATURAL_16: OK
NATURAL_32: OK
NATURAL_64: OK
POINTER: OK
REAL_32: OK
REAL_64: OK
POINTER: OK
POINTER: OK
X: OK

Execution completed