[   29.743161][  T271] packetdrill (271) used greatest stack depth: 24784 bytes left