Add int cast to fit '.*' printf expectations