// over the serialized objects to reset their sids. This works by resetting
// the sid to 0 upon backtrack, and counting either upwards from 1 or downwards
// from -1, but store the absolute value in the serialization stream
// over the serialized objects to reset their sids. This works by resetting
// the sid to 0 upon backtrack, and counting either upwards from 1 or downwards
// from -1, but store the absolute value in the serialization stream