Adding VirtualTime to its own file