60   int character = get_byte (subtask);  in dump()  local
62   while (character != EOF)  in dump()
64       unsigned value = MASK (8) & character;  in dump()
71 	  character = get_byte (subtask);  in dump()
72 	  if (character == EOF)  in dump()
74 	  value = (value << 8) | (MASK (8) & character);  in dump()
102       if (character != EOF)  in dump()
103 	character = get_byte (subtask);  in dump()
116   int character = get_byte (subtask);  in undump()  local
118   bool comma_on_last = character != EOF;  in undump()
120   while (character != EOF)  in undump()
129       while (character == ' ' || character == '\t' || character =='\n')  in undump()
131 	  if (character == ' ')  in undump()
136 	  character = get_byte (subtask);  in undump()
138       if (character == EOF)  in undump()
148       if (character == '0')  in undump()
150 	  character = get_byte (subtask);  in undump()
152 	  if (character == 'x')  in undump()
158 	      character = get_byte (subtask);  in undump()
160 	  else if (character >= '0' && character <= '9')  in undump()
176       else if (character >= '1' && character <= '9')  in undump()
185 	  while (character != '\n' && character != EOF)  in undump()
186 	    character = get_byte (subtask);  in undump()
187 	  if (character == '\n')  in undump()
188 	    character = get_byte (subtask);  in undump()
201 	  while (character >= '0' && character <= '7')  in undump()
203 	      value = (value << 3) | (character - '0');  in undump()
205 	      character = get_byte (subtask);  in undump()
210 	  while (character >= '0' && character <= '9')  in undump()
212 	      value = value * 10 + character - '0';  in undump()
214 	      character = get_byte (subtask);  in undump()
220 	    if (character >= '0' && character <= '9')  in undump()
222 		value = (value << 4) | (character - '0');  in undump()
224 		character = get_byte (subtask);  in undump()
226 	    else if (character >= 'A' && character <= 'F')  in undump()
228 		value = (value << 4) | (character - 'A' + 10);  in undump()
230 		character = get_byte (subtask);  in undump()
232 	    else if (character >= 'a' && character <= 'f')  in undump()
234 		value = (value << 4) | (character - 'a' + 10);  in undump()
236 		character = get_byte (subtask);  in undump()
290       comma_on_last = character == ',';  in undump()
293 	  if (character == '\n')  in undump()
294 	    character = get_byte (subtask);  in undump()
300 	  character = get_byte (subtask);  in undump()
301 	  if (character == ' ')  in undump()
304 	      character = get_byte (subtask);  in undump()
306 	  else if (character == '\n')  in undump()
311 	      character = get_byte (subtask);  in undump()