[ 53.057278][ T497] packetdrill (497) used greatest stack depth: 24120 bytes left