Some progress on compiling the initial env