Linux-x86_64 / Tests-Linux-x86_64-CoInterpreter-worker / Unix64.Spec2.Morphic.Tests.Examples.SpDropListExampleTest.testExample (from Spec2-Morphic-Tests)