lint, except for rand/rand_r