Added extern call in SpaceDecl.h to ease cs1_system integration, integrated into shakespeare