Compiles with Renhao's code