Re: [Ciao-users] Timing in Ciao?