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