// File: /workspace/github_c_makefile_star2_O1/johsteffens[P]beth/lib/bcore/bcore_txt_ml.c
// Function: bcore_txt_ml_contains_valid_syntax
bl_t bcore_txt_ml_contains_valid_syntax( bcore_source* source )
{
    BLM_INIT();
    sz_t index = bcore_source_a_get_index( source );

    if( !bcore_source_a_parse_bl( source, " #?'<'" ) )
    {
        bcore_source_a_set_index( source, index );
        BLM_RETURNV( bl_t, false );
    }

    st_s* name = BLM_A_PUSH( st_s_create() );

    bcore_source_a_parse_fa( source, "#name", name );

    if( name->size == 0 )
    {
        bcore_source_a_set_index( source, index );
        BLM_RETURNV( bl_t, false );
    }

    if( !bcore_source_a_parse_bl( source, "#?'>'" ) )
    {
        bcore_source_a_set_index( source, index );
        BLM_RETURNV( bl_t, false );
    }

    bcore_source_a_set_index( source, index );
    BLM_RETURNV( bl_t, true );
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rdi, %rbx
leaq 0x81e8b(%rip), %rax     # 0x1a8dd0
movq (%rax), %rsi
leaq 0x8(%rsp), %rdi
callq 0xe0431
movq (%rbx), %r15
leaq 0x82d6c(%rip), %rbp     # 0x1a9cc8
movl (%rbp), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rbp,%rax,8), %rcx
movq 0x18(%rbp,%rax,8), %rdx
andq %r15, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r15, %rdx
je 0x126fb6
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r15, %rdx
je 0x126fb6
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r15, %rdx
je 0x126fb6
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r15, %rdx
jne 0x1272c2
movq (%rax,%rcx), %r12
movabsq $-0x7e8ee9b9b4bbaa8, %r14 # imm = 0xF817116464B44558
testq %r12, %r12
jne 0x126fe9
movq %r14, %rdi
movq %r15, %rsi
callq 0xf3f85
movq %rax, %r12
leaq 0x82cea(%rip), %rdi     # 0x1a9cc8
movq %r15, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r12, %rdi
movq %rbx, %rsi
callq 0x10aa5d
movq %rax, %r15
movq (%rbx), %r12
movl (%rbp), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rbp,%rax,8), %rcx
movq 0x18(%rbp,%rax,8), %rdx
andq %r12, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r12, %rdx
je 0x127054
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x127054
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x127054
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x1272ca
movq (%rax,%rcx), %r13
testq %r13, %r13
jne 0x12707d
movq %r14, %rdi
movq %r12, %rsi
callq 0xf3f85
movq %rax, %r13
leaq 0x82c56(%rip), %rdi     # 0x1a9cc8
movq %r12, %rsi
movq %rax, %rdx
callq 0x12128c
leaq 0x122a6(%rip), %rdx     # 0x13932a
movq %r13, %rdi
movq %rbx, %rsi
callq 0x10aa16
testb %al, %al
je 0x1271d4
xorl %eax, %eax
callq 0x114bbb
leaq 0x8(%rsp), %rdi
movq %rax, %rsi
callq 0xe081c
movq %rax, %r13
leaq 0x281ce(%rip), %rsi     # 0x14f283
movq %rbx, %rdi
movq %rax, %rdx
xorl %eax, %eax
callq 0x10ad37
movq (%rbx), %r12
movl (%rbp), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rbp,%rax,8), %rcx
movq 0x18(%rbp,%rax,8), %rdx
andq %r12, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
cmpq $0x0, 0x10(%r13)
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
je 0x1271fe
cmpq %r12, %rdx
je 0x12712a
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x12712a
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x12712a
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x1272da
movq (%rax,%rcx), %r13
testq %r13, %r13
jne 0x127153
movq %r14, %rdi
movq %r12, %rsi
callq 0xf3f85
movq %rax, %r13
leaq 0x82b80(%rip), %rdi     # 0x1a9cc8
movq %r12, %rsi
movq %rax, %rdx
callq 0x12128c
leaq 0x31ef9(%rip), %rdx     # 0x159053
movq %r13, %rdi
movq %rbx, %rsi
callq 0x10aa16
movq (%rbx), %r12
movl (%rbp), %ecx
movslq %ecx, %rcx
leaq (%rcx,%rcx,2), %rcx
movq 0x20(%rbp,%rcx,8), %rdx
movq 0x18(%rbp,%rcx,8), %rsi
andq %r12, %rsi
shlq $0x4, %rsi
leaq (%rdx,%rsi), %rcx
movq (%rdx,%rsi), %rdx
testb %al, %al
je 0x127285
movl $0x8, %eax
cmpq %r12, %rdx
je 0x1271cb
movq 0x10(%rcx), %rdx
movl $0x18, %eax
cmpq %r12, %rdx
je 0x1271cb
movq 0x20(%rcx), %rdx
movl $0x28, %eax
cmpq %r12, %rdx
je 0x1271cb
movq 0x30(%rcx), %rdx
movl $0x38, %eax
cmpq %r12, %rdx
jne 0x1272e2
movq (%rcx,%rax), %r13
movb $0x1, %bpl
jmp 0x127237
movq (%rbx), %r12
movl (%rbp), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rbp,%rax,8), %rcx
movq 0x18(%rbp,%rax,8), %rdx
andq %r12, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r12, %rdx
je 0x127231
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x127231
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x127231
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x1272d2
movq (%rax,%rcx), %r13
xorl %ebp, %ebp
testq %r13, %r13
jne 0x12725c
movq %r14, %rdi
movq %r12, %rsi
callq 0xf3f85
movq %rax, %r13
leaq 0x82a77(%rip), %rdi     # 0x1a9cc8
movq %r12, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r13, %rdi
movq %rbx, %rsi
movq %r15, %rdx
callq 0x10aa6e
leaq 0x8(%rsp), %rdi
callq 0xe0b30
movl %ebp, %eax
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x8, %eax
cmpq %r12, %rdx
je 0x1272b9
movq 0x10(%rcx), %rdx
movl $0x18, %eax
cmpq %r12, %rdx
je 0x1272b9
movq 0x20(%rcx), %rdx
movl $0x28, %eax
cmpq %r12, %rdx
je 0x1272b9
movq 0x30(%rcx), %rdx
movl $0x38, %eax
cmpq %r12, %rdx
jne 0x1272d2
movq (%rcx,%rax), %r13
jmp 0x127235
xorl %r12d, %r12d
jmp 0x126fba
xorl %r13d, %r13d
jmp 0x127058
xorl %r13d, %r13d
jmp 0x127235
xorl %r13d, %r13d
jmp 0x12712e
xorl %r13d, %r13d
jmp 0x1271cf