[   54.393030] packetdrill (583) used greatest stack depth: 12760 bytes left