Shadow is designed to be deterministic if the same --seed and same inputs are used to run a simulation. There are some uses of the syscall api that could introduce non-deterministic behavior. We should improve support to eliminate nondeterminism.