Rename detab.c to Ex_1.20_detab.c