[   57.432913][  T489] packetdrill (489) used greatest stack depth: 23968 bytes left