The VOID type isn't used for anything resembling what "void" means in C, so rename it to INVALID to avoid confusion.