[Pebbles 002] abstract number programming