[   31.880636][  T267] packetdrill (267) used greatest stack depth: 23464 bytes left