Rename symbolic.c to sec_1.4_symbolic.c