[   39.458577][  T583] packetdrill (583) used greatest stack depth: 23968 bytes left