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