Problem
-------
        
        Repeat machine description assignments 2  and 3 except that this
        time, you have  work on the specRTL specification  of spim1. Let
        the home  directory of specRTL  be $SRTL. Then the  required .md
        file is

                $SRTL/spim1/spim1_spec.md

Procedure
---------

        1. Update specRTL spim1 machine  descriptions in accordance with
           the  problem  statements  2  and  3  of  machine  description
           exercises (Day 3).

        2. Build specRTL compiler using make.

           $ cd $SRTL
           $ make

        3. Generate  the  conventional  machine descriptions  using  the
           command

           $ ./srtl < spim1/spim1_spec.md > spim1_gen.md

        4. Build cc1 by using the new .md file generated.

        5. Compare spim1_spec.md with the original spim1.md.