[Rough Rock 014] abstract number programming