[C, do_lint] Invalid name "tf" for type variable (should match [a-z_][a-z0-9_]{2,30}$)