Do (&Alarm, () ->
  Read (&Response, Device, &Parameters) / Parameters = <
    Command : DR/READ_BLOCK,
    Access_flags : DR/USER_DATA,
    Address : Request->Block_number
  >
' (P_EXCEPTION_RECORD Exception) ->                                            /*  "Error (ERR_*)"   */
  Log ("An error has occured while reading from device, %x", Alarm)
) / 'Alarm = .