[  219.393064][ T1547] packetdrill (1547) used greatest stack depth: 23112 bytes left