Spacex compilation (SpacexC)