Update ex12.c