[   70.091503][  T581] packetdrill (581) used greatest stack depth: 24232 bytes left