1: driver request test 2: driver name code is 1 3: exit code is 2 4: Name service performed, result flx_run 5: main launched t1 6: t1 starts 7: t1 continues 8: t1 sends message: Hello main from t1! 9: t1 dies 10: Main got message: Hello main from t1!