Update wumbo.c