PRs to be merged, earliest to latest: - #33 - PCS for impure refs, reborrows, ... To be implemented (probably after the PRs), earliest to latest: - JNI update - loops