unix-64 / Tests-unix-64 / Unix64.Spec2.Code.Tests.SpCodeBehaviorInteractionModelTest.testDoItReceiver (from Spec2-Code-Tests)