[   55.574337][  T477] packetdrill (477) used greatest stack depth: 23840 bytes left