[   46.231782][  T231] packetdrill (231) used greatest stack depth: 23928 bytes left