pos_ptr           195 gc/cord/cordprnt.c             	    	    int * pos_ptr;
pos_ptr           196 gc/cord/cordprnt.c             	    	    pos_ptr = va_arg(args, int *);
pos_ptr           197 gc/cord/cordprnt.c             	    	    *pos_ptr = ec_len(result);
pos_ptr           199 gc/cord/cordprnt.c             	    	    long * pos_ptr;
pos_ptr           200 gc/cord/cordprnt.c             	    	    pos_ptr = va_arg(args, long *);
pos_ptr           201 gc/cord/cordprnt.c             	    	    *pos_ptr = ec_len(result);
pos_ptr           203 gc/cord/cordprnt.c             	    	    short * pos_ptr;
pos_ptr           204 gc/cord/cordprnt.c             	    	    pos_ptr = va_arg(args, short *);
pos_ptr           205 gc/cord/cordprnt.c             	    	    *pos_ptr = ec_len(result);