[  215.482213][ T1502] packetdrill (1502) used greatest stack depth: 23760 bytes left