I am just curious why chrome and doc procedures return strings. If you not need result of these procedures just not set type of return value. And yes, if you need these strings you should use them or discard them.
And if you want to echo result of procedures I can suggest a variant with
"case" as expression:
block menu:
...
echo case readLine(stdin)
of "1":
chrome()
of "2":
doc()
else:
"Please pick a real option."
