SpecC loading ...