fclose((FILE *)(obfd->iostream)); unlink(bfd_get_filename (obfd));
printf("AR >"); fflush(stdout);
DEFUN_VOID(ar_end){  if (obfd)  {    fclose((FILE *)(obfd->iostream));    unlink(bfd_get_filename (obfd));  }}