[   83.038616][  T494] packetdrill (494) used greatest stack depth: 23912 bytes left