{ `system-timer example repeat():: { starttimer(5,repeat_timeout,void); display("asking all members 'okay' or 'fail()'"+eoln) }; repeat_timeout(dummy)::display("Timed out"+eoln); okay()::display("Owkidowki"+eoln); fail()::display("Oopslala"+eoln); display("repeat()"+eoln+"okay()"+eoln+"fail()"+eoln) }