[Sand 002] abstract number programming