[  450.423249][ T4012] packetdrill (4012) used greatest stack depth: 23792 bytes left