263 typedef int IntArg;  typedef
272   IntArg *data;
277   IntArg operator[](const size_t i) const  in operator []()
281     return (IntArg) data[i];  in operator []()
283   void append(IntArg);
284   IntArg *get_data(void) const { return (IntArg *)data; }  in get_data()
371 const IntArg
372 INTARG_MAX = (IntArg) 0x7FFFFFFF; // maximal signed 32 bits number
388 ColorArg color_from_Df_command(IntArg);
403 IntArg get_integer_arg(void);	// read in next integer argument
504   data = new IntArg[num_allocated];  in IntArray()
513   data = new IntArg[num_allocated];  in IntArray()
523 IntArray::append(IntArg x)  in append()
526     IntArg *old_data = data;  in append()
528     data = new IntArg[num_allocated];  in append()
596 color_from_Df_command(IntArg Df_gray)  in color_from_Df_command()
646   IntArg x = get_integer_arg();  in get_color_arg()
647   if (x < 0 || x > (IntArg)COLORARG_MAX) {  in get_color_arg()
786 IntArg
812   return (IntArg) number;  in get_integer_arg()
862       args->append((IntArg) x);  in get_possibly_integer_args()
1088   pr->draw((int) subcmd, (IntArg *)args->get_data(), n, current_env);  in send_draw()
1374       IntArg arg = get_integer_arg();  in parse_D_command()
1462       IntArg n = get_integer_arg();  in parse_x_command()
1595     IntArg int_arg;  in do_file()