The SRTS uses integers to represent FILE* and ATermTable. This is not correct since pointers do not always fit in an integer. The SRTS should switch to ATerm blobs or ATerm strings. Using small blobs appeared to be a problem in the past. We need to check if this problem still exists.

ATermBlobs have the additional advantage that it is possible to register a destructor. This destructor might for example be used to destroy and ATerm table.

Submitted on 26 March 2004 at 12:40

STR-35, martin:
We have to test the new implementation.