1524 static char *text_hole_delete(char *p, char *q, int undo)  in text_hole_delete()  argument
1540 	switch (undo) {  in text_hole_delete()
1710 static void undo_push_insert(char *p, int len, int undo)  in undo_push_insert()  argument
1712 	switch (undo) {  in undo_push_insert()
1950 static char *yank_delete(char *start, char *stop, int buftype, int yf, int undo)  in yank_delete()  argument
1968 		p = text_hole_delete(start, stop, undo);  in yank_delete()
2109 static char *char_insert(char *p, char c, int undo) // insert the char c at 'p'  in char_insert()  argument
2123 		undo_push_insert(p, 1, undo);  in char_insert()
2142 				text_hole_delete(bol, bol + len - 1, undo);  in char_insert()
2170 			undo_push_insert(p, 1, undo);  in char_insert()
2191 		undo_push_insert(p, 1, undo);  in char_insert()
2228 				undo_push_insert(p, ntab + nspc, undo);  in char_insert()
2315 static uintptr_t string_insert(char *p, const char *s, int undo) // insert the string at 'p'  in string_insert()  argument
2322 	undo_push_insert(p, i, undo);  in string_insert()
3189 		int undo = 0;  in colon()
3260 #   define TEST_UNDO1 undo++  in colon()
3261 #   define TEST_UNDO2 undo++  in colon()