max_k            1663 ext/standard/html.c 					 max_i, max_j, max_k;
max_k            1666 ext/standard/html.c 				max_i = 1; max_j = 4; max_k = 64;
max_k            1668 ext/standard/html.c 				max_i = 0x1E; max_j = 64; max_k = 64;
max_k            1677 ext/standard/html.c 					for (k = 0; k < max_k; k++) {