ARO folding, initial implementation