PROC dum$FETCH_MEMORY fetch_memory (
  address    : integer -281474976710655..281474976710655 = $required
  type_name  : name = $required
  field_name : name = $required
  rtv        : var of integer = $required
  )

  crev (o l)
  s = $string($value(type_name)) // ' field=' // $string($value(field_name)) // ' o l'
  include_line s
  IF l = 0 THEN
    EXIT_PROC
  IFEND
  $value(rtv) = $mem($value(address)+o/8, l/8)

PROCEND dum$fetch_memory
