[Pebbles 008] coq