[  450.484614][ T4122] packetdrill (4122) used greatest stack depth: 23840 bytes left