[Pebbles 005] abstract number programming