where is ping.te in targeted policy FC4

["James Z. Li" <james zheng li gmail com>]

Hi all,

I just installed FC4. In strict policy, both ping.te and ping.fc 
exist. However, in targeted policy, I also find ping.fc file, 
which label ping binary files as the type ping_exec_t. Since
there is no ping.te file, where is ping_exec_t defined? 

Thanks,

James