in whereij, second and third arguments actually have the same type
various include problems with of_size