[  503.972660][ T4714] packetdrill (4714) used greatest stack depth: 23904 bytes left