[  215.128379][ T1501] packetdrill (1501) used greatest stack depth: 23576 bytes left