[  128.417721][  T808] packetdrill (808) used greatest stack depth: 24200 bytes left