[  404.025384] packetdrill (17790) used greatest stack depth: 12528 bytes left