The untested (compiling!) first implementation of the backend.