[  219.437583][ T1533] packetdrill (1533) used greatest stack depth: 23840 bytes left