[   81.713773][  T581] packetdrill (581) used greatest stack depth: 24664 bytes left