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