Introduction to CSH shell programming