[   28.430318][  T263] packetdrill (263) used greatest stack depth: 23952 bytes left