[   88.991741][  T715] packetdrill (715) used greatest stack depth: 23968 bytes left