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: ", Alarm)  
    DumpStackFrames (Program_state->Settings.Logger.Output_handle, Exception)
  ;
) / Alarm = . ..