folding compiles