[Grass 004] abstract number programming