[   53.136627][  T379] packetdrill (379) used greatest stack depth: 24816 bytes left