An implementation of the SELECT. language, a code generator, example programs