/src/aig/deco/
../
deco.h
module.make