Trying out the Nimrod language