[    2.053484] sh (130) used greatest stack depth: 12816 bytes left
[    9.455335] packetdrill (158) used greatest stack depth: 12600 bytes left