Sanitized zoek.c code