programmed cryptographic facility{=PCF}