[   85.281540][  T726] packetdrill (726) used greatest stack depth: 24160 bytes left