-> [30.000000] [test/INFO] blocking_simcall with value
-> [Tremblay:master:(0) 30.000000] [test/INFO] blocking_simcall with value returned with 42
-> [50.000000] [test/INFO] asynchronous_simcall with value
-> [Tremblay:master:(0) 50.000000] [test/INFO] asynchronous_simcall with value returned with 43
+> [30.000000] [test/INFO] kernelSync with value
+> [Tremblay:master:(0) 30.000000] [test/INFO] kernelSync with value returned with 42
+> [50.000000] [test/INFO] kernelAsync with value
+> [Tremblay:master:(0) 50.000000] [test/INFO] kernelAsync with value returned with 43