[  144.828401][  T723] packetdrill (723) used greatest stack depth: 24168 bytes left