[   88.504577][  T507] packetdrill (507) used greatest stack depth: 23248 bytes left