[  200.772135][ T2014] packetdrill (2014) used greatest stack depth: 23752 bytes left