[  180.199577][ T1262] packetdrill (1262) used greatest stack depth: 23968 bytes left