[   53.564842][  T497] packetdrill (497) used greatest stack depth: 23776 bytes left