An optimizing Ada compiler (1983)