[  125.397028][  T507] packetdrill (507) used greatest stack depth: 23640 bytes left