Update void.c