Links for abstract-compiler