Update implementation.c