[ 157.946711][ T999] packetdrill (999) used greatest stack depth: 24144 bytes left