(module $multi
  (use ($x as $other_x) ($y as $other_y) from $other)

  ;; this resource named `y` shouldn't be the same as another resource named `y`
  ;; defined elsewhere.
  (resource $y)

  (typename $x1 (handle $other_x))
  (typename $x2 (handle $other_x))

  (typename $y1 (handle $other_y))
  (typename $y2 (handle $y))
)