-> [ 0.500000] (2:test_cancel@alice) I changed my mind, cancel!
-> [ 0.500000] (2:test_cancel@alice) Goodbye now!
-> [ 0.500000] (0:maestro@) Simulation time 0.5
+> [ 0.500000] (2:test_waitfor@alice) Asynchronous write: Timeout!
+> [ 0.500000] (2:test_waitfor@alice) Goodbye now!
+> [ 0.500000] (3:test_cancel@alice) Hello! write 50000000 bytes from Disk1
+> [ 1.000000] (3:test_cancel@alice) I changed my mind, cancel!
+> [ 1.000000] (3:test_cancel@alice) Goodbye now!
+> [ 1.000000] (0:maestro@) Simulation time 1