[   55.441086][  T477] packetdrill (477) used greatest stack depth: 23600 bytes left