splint is no longer in FC4, so I'd like to nominate it for extras, so I finally got round to doing the account setup :) A src rpm with bumped release may be found here: http://people.redhat.com/pnasrat/extras/splint/splint-3.1.1-8.src.rpm Paul