[  439.800809][ T4010] packetdrill (4010) used greatest stack depth: 23936 bytes left