size_t pos = 0;
                    while (pos < count) {
                        __Buffer_push__(buffer, buffer_used, 0, ' ');
                        pos = pos + 1;
                    }
                }
            // var __Buffer_removeIndent__
                // does not check which characters it removes.
                bool // not safed.
                __Buffer_removeIndent__(
                    char    *buffer,
                    size_t  *buffer_used, // expected >= count
                    size_t  count         // expected < buffer_used
                ) {
                    bool ok = true;
                        if (*buffer_used < count) {
                            ok = false;
                        } else if (*buffer_used == count) {
                            *buffer_used = count;
                        } else { // *buffer_used > count
                            size_t pos = 0;
                            while (pos < count) {
                                if (
                                    __Buffer_pop_check__(
                                        *buffer_used,
                                        pos
                                    )
                                ) {
                                    __Buffer_pop__(
                                        buffer,
                                        buffer_used, // (*) > 0 becouse   *buffer_used > loop count  checked  in upper if
                                        0
                                    );
                                } else {
                                    ok = false;
                                }
                                
                                if (!ok) break;
                                pos += 1;
                            }
                        }
                    return ok;
                }
            // var __Buffer_setIndent__
                bool
                __Buffer_setIndent__(
                    char    *buffer,
                    size_t  *buffer_used,
                    size_t  buffer_max,

                                if (__Buffer_addIndent_check__(buffer, buffer_used, buffer_max, delta)) {
                                    __Buffer_addIndent__(buffer, buffer_used, delta);
                                } else {
                                    ok = false;
                                }
                            } else { // new_indent < indent
                                size_t delta = indent - new_indent;
                                if(__Buffer_removeIndent__(buffer, buffer_used, delta)) {
                                } else {
                                    ok = false;
                                }
                            }
                        }
                    return ok;
                }
        // File
            // var __File_clear__
                void __ScalpiFile_clear__(