[Pebbles 006] abstract number programming