SpaceDecl.h