service { html InputName = Enter your name:
Enter your age: ; html OutputName = Your name is <[your_name]> and you are <[your_age]> years old. ; session Enter() { int age; string name; show InputName receive [name=your_name, age=your_age]; exit OutputName <[your_name=name, your_age=age]; } }