[   80.562661][  T612] packetdrill (612) used greatest stack depth: 24064 bytes left