Using trump library for acid on 6.rot13 pre-fixes

tenshi% acid -l rot13.acid -l trump ./6.rot13
./6.rot13:amd64 plan 9 executable
/sys/lib/acid/port
/sys/lib/acid/amd64
/sys/lib/acid/trump
acid: win()
acid: trump()
0x00401b00 realloc 0x00000004 -1 # src(badd+0x25); src(Brdstr+0x2db); src(main+0x87); src(_main+0x40);
0x00401b40 realloc 0x00000004 -1 # src(badd+0x25); src(Brdstr+0x2db); src(main+0x87); src(_main+0x40);
0x00401b80 realloc 0x00000004 -1 # src(badd+0x25); src(Brdstr+0x2db); src(main+0x87); src(_main+0x40);
0x00401bc0 realloc 0x00000005 -1 # src(badd+0x25); src(Brdstr+0x2db); src(main+0x87); src(_main+0x40);
0x00401c00 realloc 0x00000005 -1 # src(badd+0x25); src(Brdstr+0x2db); src(main+0x87); src(_main+0x40);
0x00401c40 realloc 0x00000005 -1 # src(badd+0x25); src(Brdstr+0x2db); src(main+0x87); src(_main+0x40);
0x00401c80 realloc 0x00000025 -1 # src(badd+0x25); src(Brdstr+0x2db); src(main+0x87); src(_main+0x40);
0x00401cc0 realloc 0x00000064 -1 # src(badd+0x25); src(Brdstr+0x2db); src(main+0x87); src(_main+0x40);
<stdin>:3: (error) msg: pid=412171 startstop: interrupted
acid: lstk()
pread(a0=0x0)+0xe /sys/src/libc/9syscall/pread.s:6
read(buf=0x7ffffeffcef5,n=0x7fff00002000)+0x27 /sys/src/libc/9sys/read.c:7
bioread(v=0x7ffffeffcef5,n=0x2000)+0x1e /sys/src/libbio/binit.c:56
Brdstr(bp=0x7ffffeffce98,delim=0xa,nulldelim=0x1)+0x19e /sys/src/libbio/brdstr.c:72
	ip=0x7ffffeffcef5
	i=0x0
	p=0x0
	j=0xb1
	ep=0x7ffffeffcf57
main()+0x87 /usr/seh/repos/plan9/C/rot13.c:26
	in=0x0
	out=0xffffe00000000000
	str=0x401cc0
	len=0x62
_main+0x40 /sys/src/libc/amd64/main9.s:15
acid: untrump()
no breakpoint at sbrkalloc
no breakpoint at sbrkmerge
# [Pressed Delete]
acid: trump()
0x00401d80 realloc 0x00000004 -1 # src(badd+0x25); src(Brdstr+0x2db); src(main+0x87); src(_main+0x40);
<stdin>:6: (error) msg: pid=412171 startstop: interrupted
acid: src(badd+0x25)
/sys/src/libbio/brdstr.c:13
 8		int n;
 9		char *p;
 10
 11		n = *np;
 12		p = realloc(oldp, n+ndata+1);
>13		if(p){
 14			memmove(p+n, data, ndata);
 15			n += ndata;
 16			if(n>0 && nulldelim && p[n-1]==delim)
 17				p[--n] = '\0';
 18			else
acid: src(Brdstr+0x2db)
/sys/src/libbio/brdstr.c:104
 99						memmove(ip, bp->bbuf, i);
 100						bp->gbuf = (uchar*)ip;
 101					}
 102					j = (ep - (char*)bp->bbuf) + 1;
 103					bp->icount = j - i;
>104					p = badd(p, &bp->rdline, ip, j, delim, nulldelim);
 105					goto out;
 106				}
 107				ip += j;
 108			}
 109
acid: untrump()
<stdin>:9: (error) msg: pid=412171 stop: interrupted
acid: trump()
breakpoint already set at malloc
breakpoint already set at mallocz
breakpoint already set at free
breakpoint already set at realloc
0x00401dc0 realloc 0x00000006 -1 # src(badd+0x25); src(Brdstr+0x2db); src(main+0x87); src(_main+0x40);
# [Pressed ctrl+d in 6.rot13 window]
412171: page fault	strlen+0xd	REPNE SCASB	(DI),AL
Notes pending:
	sys: trap: fault read addr=0x0
no breakpoint at sbrkalloc
no breakpoint at sbrkmerge
acid: src(strlen+0xd)
/sys/src/libc/amd64/strlen.s:11
 6	/*
 7	 * look for end of string
 8	 */
 9
 10		MOVQ	RARG, DI
>11		REPN;	SCASB
 12
 13		MOVQ	DI, AX
 14		SUBQ	RARG, AX
 15		SUBQ	$1, AX
 16		RET
acid:
echo kill > /proc/412171/ctl
tenshi% echo kill > /proc/412171/ctl