[eclipse 1]: make_suspension(writeln(hello), 1, S), schedule_woken([S]), wake. hello S = 'WOKEN GOAL' yes. [eclipse 2]: make_suspension(writeln(hello), 255, S), schedule_woken([S]), wake. S = 'GOAL'(writeln(hello), eclipse) Delayed goals: writeln(hello) yes.