[   75.013677][  T581] packetdrill (581) used greatest stack depth: 24536 bytes left