resource testing()
  type array_type = [1:5] real
  type rec_type = rec(value : real, occupied : bool, slot : int, ch : char)

  procedure fill_array(y : real) returns x : array_type
    fa i := 1 to 5 -> x[i] := y af
  end fill_array

  procedure fill_rec(a : real; b : bool; c : int; d : char)
      returns e : rec_type
    e.value := a
    e.occupied := b
    e.slot := c
    e.ch := d
  end fill_rec

  var z : array_type, y : rec_type
  z := fill_array(2.0)
  y := fill_rec(1.0, false, 2, 'c')
  fa i := 1 to 5 -> writes(" ", z[i]) af
  write()
  write(y.value, y.occupied, y.slot, y.ch)
end testing