some progress on compilation