Update AND.c