These are useful functions for writing wksh scripts
