[   74.672276][  T583] packetdrill (583) used greatest stack depth: 24536 bytes left