WIP: Rewriting the local backend in terms of the abstract backend code