tiny demo programs for the nimrod language