[   57.925674][  T271] packetdrill (271) used greatest stack depth: 23256 bytes left