# [Int,Obj] to [Obj,Obj]

### Description
Translates `SOURCE [INTEGER,OBJ]` into `SOURCE [OBJ,OBJ]`.

The `OBJ` IDs to be used are given by `OBJS` and are assigned arbitrarily to the reuslt.

WARNINGS:

- This is a low-level block, do not use unless you know what you are doing.
- This block assumes that `OBJS` has at least as many unique `OBJ` IDs as there are unique `INTEGER` values in `SOURCE`.
- You should not use this block multiple times with the same `OBJS` input

### Input
- `SOURCE [INTEGER,OBJ]`: a list of pairs
- `OBJS [OBJ]`: a list of objects

### Output
- `RESULT [OBJ,OBJ]`: The same list as in `SOURCE`, where each unique `INTEGER` has been replaced with a unique `OBJ` coming from `OBJS`

### Parameters