The Saga of Code Episode 1: learn Unix shell programming from POSIX Shell and Utilities specification and the source code of DASH