[Rock 030] abstract number programming