# DF-2755 baseline run 2 (fresh vm.sh reset with-src, stock kernel) — REPRODUCED
$ cc -O2 -pthread -o df2755 df2755.c
$ ./df2755 3 45
[*] leader pid 967 master=3 slave=4 (/dev/pts/0)   (from run harness)
    << ssh session never returned: guest PANICKED again, identical signature: >>

login: pSECONDAaRY PnANIC ON CPU 3 THREAD 0xfffff8008e100700
ic: vref: bad refcnt 00000000 1
cpuid = 2
Trace beginning at frame 0xfffff801180e37a8
vref() at vref+0x36 0xffffffff806f6bc6
vref() at vref+0x36 0xffffffff806f6bc6
devfs_fo_ioctl() at devfs_fo_ioctl+0x13f 0xffffffff80921c5f
mapped_ioctl() at mapped_ioctl+0x5fa 0xffffffff806a831a
syscall2() at syscall2+0x11e 0xffffffff80bd6a0e
Debugger("panic")
CPU2 stopping CPUs: 0x0000003b
 stopped
Stopped at Debugger+0x7c: movb $0,0xbdaf09(%rip)
db>
# (raw console captures: panic1.txt / panic2.txt)