Functional_specification loading ...