fixTypo: test012.c