Program_specification loading ...