Abstract syntax version.