[Pebbles 008] abstract number programming