[   54.590644][  T377] packetdrill (377) used greatest stack depth: 23712 bytes left