[   25.519982][  T266] packetdrill (266) used greatest stack depth: 23728 bytes left