730 	char *src, *tgt, *obj, *res, *name;  in cil_write_nametypetransition()  local
734 	tgt = ntrans->tgt_str;  in cil_write_nametypetransition()
739 		src, tgt, obj, name, res);  in cil_write_nametypetransition()
745 	char *rulekind, *src, *tgt;  in cil_write_avrule_x()  local
768 	tgt = avrule->tgt_str;  in cil_write_avrule_x()
782 	fprintf(cil_out, "(%s %s %s %s)\n", rulekind, src, tgt, xperms);  in cil_write_avrule_x()
791 	char *rulekind, *src, *tgt;  in cil_write_avrule_orig()  local
814 	tgt = avrule->tgt_str;  in cil_write_avrule_orig()
819 	fprintf(cil_out, "(%s %s %s %s)\n", rulekind, src, tgt, classperms);  in cil_write_avrule_orig()
839 	char *type, *src, *tgt, *obj, *res;  in cil_write_type_rule()  local
859 	tgt = typerule->tgt_str;  in cil_write_type_rule()
862 	fprintf(cil_out, "(%s %s %s %s %s)\n", type, src, tgt, obj, res);  in cil_write_type_rule()