Source code for CVL compiler