[   76.084327][  T458] packetdrill (458) used greatest stack depth: 24536 bytes left