manage_files_pattern(cod4_t, cod4_rw_t, cod4_rw_t)
manage_dirs_pattern(cod4_t, cod4_rw_t, cod4_rw_t)
setattr_files_pattern(cod4_t, cod4_rw_t, cod4_rw_t)
sysnet_dns_name_resolve(cod4_t)
manage_files_pattern(cod4_t, cod4_rw_t, cod4_rw_t)
manage_dirs_pattern(cod4_t, cod4_rw_t, cod4_rw_t)
setattr_files_pattern(cod4_t, cod4_rw_t, cod4_rw_t)
sysnet_dns_name_resolve(cod4_t)