[ 16.022633][ T225] packetdrill (225) used greatest stack depth: 24448 bytes left [ 22.631896][ T265] packetdrill (265) used greatest stack depth: 23288 bytes left