[Sand 003] abstract number programming