[   55.316696][  T477] packetdrill (477) used greatest stack depth: 23392 bytes left