Introduction to ada: main section: tutorial notes