How do people run simple timing tests in Ciao? In SWI-Prolog I can do the following:

benchmark1 :-
�� flag(benchmark,_,0),
�� repeat,
�� zebra1(Houses, WaterDrinker, ZebraOwner),
�� flag(benchmark,N,N+1),
�� N = 1000,
�� !.
benchmark :- time(benchmark1).

What is the equivalent in Ciao?

Thanks!
David