Lee Otterholt's program