Fix #97: Virtual clock