[Rock 023] abstract number programming