Klever

Mostly for special operating systems the main is based on a list of functions, which should be called. The parameters of the function call should not be just alloced, as they should be shared most of the times. However, some of the arguments are known to be local, for example, user provided string. And this memory can not be participate in data race. So, there is a need to specify such cases. This issue requires the improvement of simple main specification: it is not only a list of functions, but also contains a description of some arguments.