[   31.618883] packetdrill (583) used greatest stack depth: 12752 bytes left
[   31.628889] make (513) used greatest stack depth: 12744 bytes left