> time is now part of the io interface [...] Nice, didn't know that! Sounds like this could be extremely useful for some of the simulators we work on (though w

> time is now part of the io interface [...] Nice, didn't know that! Sounds like this could be extremely useful for some of the simulators we work on (though we mostly work in C/C++).