Delete 1238.c