reading_statefile
makefile_type = reading_statefile;
makefile_type = reading_statefile;
makefile_type = reading_statefile;
(makefile_type == reading_statefile)) {
case reading_statefile: