[  148.540180][  T856] packetdrill (856) used greatest stack depth: 22752 bytes left