Update sec_1.4_symbolic.c