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]; } }