[  443.422081][ T4012] packetdrill (4012) used greatest stack depth: 23552 bytes left