Data-processing machines (hardware) (EXPIRED)