[Rock 025] abstract number programming