Update d12.c for change the variable name