Source code for forcomp