[Bark 003] abstract number programming