987 		struct cil_selinuxuser *selinuxuser = node->data;  in cil_write_ast_node()  local
988 		fprintf(out, "(selinuxuser %s ", selinuxuser->name_str);  in cil_write_ast_node()
989 		fprintf(out, "%s ", datum_or_str(DATUM(selinuxuser->user), selinuxuser->user_str));  in cil_write_ast_node()
990 		if (selinuxuser->range)  in cil_write_ast_node()
991 			write_range(out, selinuxuser->range, CIL_TRUE);  in cil_write_ast_node()
993 			fprintf(out, "%s", selinuxuser->range_str);  in cil_write_ast_node()
998 		struct cil_selinuxuser *selinuxuser = node->data;  in cil_write_ast_node()  local
1000 		fprintf(out, "%s ", datum_or_str(DATUM(selinuxuser->user), selinuxuser->user_str));  in cil_write_ast_node()
1001 		if (selinuxuser->range)  in cil_write_ast_node()
1002 			write_range(out, selinuxuser->range, CIL_TRUE);  in cil_write_ast_node()
1004 			fprintf(out, "%s", selinuxuser->range_str);  in cil_write_ast_node()