[   77.525588][  T271] packetdrill (271) used greatest stack depth: 23288 bytes left