[   58.366510][  T271] packetdrill (271) used greatest stack depth: 23424 bytes left