[   76.320347][  T457] packetdrill (457) used greatest stack depth: 24424 bytes left
[   90.231778][  T530] packetdrill (530) used greatest stack depth: 24384 bytes left