Check in right version of stack-check-12.c