Which compiler did you use? Your program compiles correctly with 1.2.2 and #devel on a Linux platform.
Note that your use of _echo_ is incorrect. As it is written, you write a tuple
which contains the string "\nProcessor count " and an int. To get what you
expect, you have to write:
echo "\nProcessor count ", countProcessors()
Run
or
echo("\nProcessor count ", countProcessors())
Run
without a space after _echo_.
