[Vent 001] abstract number programming