A system and method capable of finding relaxed memory-model vulnerabilities in a computer program caused by running on a machine having a relaxed memory model. The dispenser may rapidly switch between different disposable cartridges. Onto said layer can be applied a functional covering, for example of rubber. The first device forwards the request from the first device to the second device, and sends to the second device information indicating a current view of resource utilization in the wireless communications network. In an alternative arrangement the electrode position V2 is replaced by an electrode position Vc on the sternum directly between the standard electrode sites V1 and V2. A volute may be in fluid-tight connection with the outlet of the tubular housing for receiving blood in the axial direction and directing blood in a direction normal to the axial direction.