extern void wr_int2(int fd, int i);