[Pebbles 007] abstract number programming