[   55.956925][  T487] packetdrill (487) used greatest stack depth: 23952 bytes left