[  142.191545][  T922] packetdrill (922) used greatest stack depth: 24048 bytes left