[Pebbles 008] circuit bicycle current