// File: /workspace/github_cpp_makefile_star2_O2/vsklad[P]cgen/./bal/io/textreader.hpp
// Function: TextReader::read_uint32(unsigned int, unsigned int)
inline uint32_t read_uint32(const uint32_t min_value = 0, const uint32_t max_value = UINT32_MAX) {
        load_next_token();
        if (current_token_type_ == ttDec) {
            uint64_t result = 0;
            auto index = 0;
            while (index < current_token_len_) {
                // this is checked when parsing the token already
                assert(_is_digit(current_line_[current_token_pos_ + index]));
                result = result * 10 + (current_line_[current_token_pos_ + index] - '0');
                if (result < min_value || result > max_value) {
                    parse_error(std::string("The unsigned int 32 bit value is out of bounds: ") +
                                std::to_string(min_value) + std::string("..") + std::to_string(max_value));
                };
                index++;
            };
            skip_token();
            return (uint32_t)result;
        };
        parse_error("Expect an unsigned int 32 bit value");
        return 0;
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x128, %rsp            # imm = 0x128
movl %edx, %r15d
movl %esi, %r14d
movq %rdi, %rbx
callq 0x19176
cmpl $0x1, 0x40(%rbx)
jne 0x187f1
movl %r14d, -0x34(%rbp)
movl %r14d, %eax
movq %rax, -0x48(%rbp)
movl %r15d, -0x30(%rbp)
movl %r15d, %eax
movq %rax, -0x40(%rbp)
xorl %r13d, %r13d
xorl %r12d, %r12d
movq 0x8(%rbx), %rax
movq 0x10(%rbx), %rcx
cmpq %r13, %rcx
jbe 0x18828
addq 0x18(%rbx), %rax
movzbl (%r13,%rax), %eax
leal -0x30(%rax), %ecx
cmpb $0xa, %cl
jae 0x1884d
imulq $0xa, %r12, %rcx
leaq (%rcx,%rax), %r12
addq $-0x30, %r12
cmpq -0x48(%rbp), %r12
setae %al
cmpq -0x40(%rbp), %r12
setbe %cl
testb %cl, %al
jne 0x187e9
leaq -0xa8(%rbp), %rdi
leaq 0x1f7ee(%rip), %rsi     # 0x37ef9
leaq -0x2a(%rbp), %rdx
callq 0xc0e0
leaq -0x128(%rbp), %r14
movq %r14, %rdi
movl -0x34(%rbp), %esi
callq 0x188f9
leaq -0xc8(%rbp), %rdi
leaq -0xa8(%rbp), %rsi
movq %r14, %rdx
callq 0x195f2
leaq -0x108(%rbp), %r14
movq %r14, %rdi
leaq 0x1f7dd(%rip), %rsi     # 0x37f2a
leaq -0x29(%rbp), %rdx
callq 0xc0e0
leaq -0x68(%rbp), %rdi
leaq -0xc8(%rbp), %rsi
movq %r14, %rdx
callq 0x195f2
leaq -0xe8(%rbp), %r14
movq %r14, %rdi
movl -0x30(%rbp), %esi
callq 0x188f9
leaq -0x148(%rbp), %r15
movq %r15, %rdi
leaq -0x68(%rbp), %rsi
movq %r14, %rdx
callq 0x195f2
movq %rbx, %rdi
movq %r15, %rsi
callq 0x189ce
movq %r15, %rdi
callq 0xc110
leaq -0xe8(%rbp), %rdi
callq 0xc110
leaq -0x68(%rbp), %rdi
callq 0xc110
leaq -0x108(%rbp), %rdi
callq 0xc110
leaq -0xc8(%rbp), %rdi
callq 0xc110
leaq -0x128(%rbp), %rdi
callq 0xc110
leaq -0xa8(%rbp), %rdi
callq 0xc110
incq %r13
jmp 0x186b4
leaq 0x1f735(%rip), %rsi     # 0x37f2d
leaq -0x88(%rbp), %rdi
leaq -0x68(%rbp), %rdx
callq 0xc0e0
leaq -0x88(%rbp), %rsi
movq %rbx, %rdi
callq 0x189ce
leaq -0x88(%rbp), %rdi
callq 0xc110
xorl %r12d, %r12d
jmp 0x18838
addq %rcx, %rax
movq %rax, 0x8(%rbx)
andq $0x0, 0x10(%rbx)
andl $0x0, 0x40(%rbx)
movl %r12d, %eax
addq $0x128, %rsp            # imm = 0x128
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x1f617(%rip), %rdi     # 0x37e6b
leaq 0x1f645(%rip), %rsi     # 0x37ea0
leaq 0x1f656(%rip), %rcx     # 0x37eb8
movl $0x171, %edx            # imm = 0x171
callq 0xc180
movq %rax, %rbx
leaq -0x88(%rbp), %rdi
jmp 0x188ec
jmp 0x188a6
movq %rax, %rbx
jmp 0x188e5
movq %rax, %rbx
jmp 0x188d9
movq %rax, %rbx
leaq -0x148(%rbp), %rdi
callq 0xc110
jmp 0x18898
movq %rax, %rbx
leaq -0xe8(%rbp), %rdi
callq 0xc110
jmp 0x188b3
movq %rax, %rbx
jmp 0x188f1
movq %rax, %rbx
jmp 0x188bc
movq %rax, %rbx
leaq -0x68(%rbp), %rdi
callq 0xc110
leaq -0x108(%rbp), %rdi
callq 0xc110
jmp 0x188cd
movq %rax, %rbx
leaq -0xc8(%rbp), %rdi
callq 0xc110
leaq -0x128(%rbp), %rdi
callq 0xc110
leaq -0xa8(%rbp), %rdi
callq 0xc110
movq %rbx, %rdi
callq 0xc4c0