used new SpaceDecl.sh