[   52.841346][  T497] packetdrill (497) used greatest stack depth: 24016 bytes left