SpaceDecl.h is under space-lib/include