adds program that passes spec