more SpaceDecl.h