[   86.706353][  T588] packetdrill (588) used greatest stack depth: 24088 bytes left