programming abstractions 9950