print((var0 + 6 + 8 + var1)())  # output code: var0 + 14 + var1

 @Callable
def function()
    var0 + 6 + 8 + var1
    var2.assign(5+var1+10)
# output code: 
# var0 + 14 + var1
# var2 := 5+var1+10

 class Var:
    def assign(arg):
        SingletoneOutput.send_ast(str(self.value) + ' := ' + arg)

 class IOutput:
    '''
    Singletone Interface for centralized comunication
    between objects.
    Originally designed for AST collection, but can be
    instantiated by:
        INewOutput = IOutput
    and be used with other purpose
    '''
    _default = list()
    _output = _default
    def __new__(cls):
        return IOutput
    class IsSetError(Exception):
        pass
    @staticmethod
    def _raise_set_err():
        msg = "Output can't be set now. "\
            "If You want to have set"\
            " functionality in some cases, use try-except block"
        raise IOutput.IsSetError(msg)
    @staticmethod
    def set(output):
        '''
        redirect output of all put(data) calls to another list
        have to be released by release() method after all
        '''
        if IOutput._output is not IOutput._default:
            IOutput._raise_set_err()
        IOutput._output = output
    @staticmethod
    def get():
        '''
        get result list
        '''
        return IOutput._output
    @staticmethod
    def put(data):
        '''
        put data to current output list
        '''
        IOutput._output.append(data)
    @staticmethod
    def release():
        '''
        set output list to default
        '''
        IOutput._output = IOutput._default
    @staticmethod
    def refresh():
        '''
        Method for resetting interface variables to defaults.
        Used for clearing data with multiple scrits compilation.
        '''
        IOutput._default.clear()
        IOutput.release()

 class Callable:
    '''
    base decorator class for all callable objects
    Usage:
    @CallableChild       # child class
    def func(inline=[True|False], *args, **kwargs):
        body
    child class have to have call() method overriden for
    assignin behaviour for calling obj without inlining of it's body
    '''
    class MissingCallError(Exception):
        pass
    def __init__(self, func):
        self.func = func
    def __call__(self, *args, inline=False, **kwargs):
        if inline is True:
            ''' здесь переназначаем IOutput на список объекта класса-потомка'''
            return self.func(*args, **kwargs)
            ''' здесь забираем вывод от всех AST методов и inline функций
            в теле '''
        if inline is False:
            return self.call(*args, **kwargs)
    def call(self, *args, **kwargs):
        '''
        this method is mandatory because of inline argument
        mandatory. If you don't want inline definition, place
            return self.func(*args, **kwargs)
        inside the call() method
        '''
        msg = 'call(self, *args, **kwargs) method '\
            'has to be overriden with inheritance of '\
            'Callable class'
        raise Callable.MissingCallError(msg)

 class Var:
    def assign(arg):
        SingletoneOutput.send_ast(str(self.value) + ' := ' + arg)

 class Var:
    def assign(arg):
        return self.value + ' := ' + arg
    def assign1(arg):
        return f"{self.value}:={arg}"

# дано:
obj1 = [int(value = 3)]
obj2 = [obj1(5), int(2)]
# в KSP

Obj_list:          Obj_data_alloc:      init_int:
[type, idx, size]  [type, idx, size]    [3]
[obj1, 0,   1]     [int,  0,   1]       [5]
[obj1, 1,   1]     [int,  1,   1]       [2]
[obj2, 2,   2]     [obj1, 1,   1]
                   [int,  2,   1]

 for obj in objects:
    some_var = obj.attribute

i := OBJECTS_START
while i < OBJECTS_COUNT:
    select Obj_data_alloc[ Obj_list[i][idx] ][type]:
        case int:
           some_var :=  Obj_data_alloc[ Obj_list[i][idx] ][idx]

i := OBJECTS_START
while i < OBJECTS_COUNT:
    stack_push(Obj_data_alloc[ Obj_list[i][idx] ][type]) #это сокращение от конструкции
    call get_object_type
    some_var :=  stack_pull()

function get_object_type
    select stack_pull()
        case int:
           stack_push(Obj_data_alloc[ Obj_list[i][idx] ][idx])
           call get_int_val
        case obj:
           stack_push(Obj_data_alloc[ Obj_list[i][idx] ][idx])
           call get_object_type()

function get_int_val
    stack_push(init_int[stack_pull()])