Programming to the Pro-E