// File: /workspace/github_c_makefile_star2_O1/johsteffens[P]beth/lib/bcore/bcore.xo.c
// Function: x_stamp_selftest
void x_stamp_selftest( void )
{
    // bcore_x_stamp.h:528:1
    BLM_INIT_LEVEL(0);
    bcore_prsg_lcg_u3_00_s lcg;BLM_T_INIT_SPUSH(bcore_prsg_lcg_u3_00_s, &lcg);;
    
    ASSERT( x_stamp_exists(((const x_stamp*)(&(lcg))),btypeof( "state" ) ) );
    
    u3_t state =*( ((const u3_t*)(x_stamp_c_get(((const x_stamp*)(&(lcg))),btypeof( "state" ) ))));
    ASSERT( state == 16437 );
    
    x_stamp_set_sr_ret(((x_stamp*)(&( lcg))),btypeof( "state" ), sr_u3(12345 ) );
    state = (*(((const u3_t*)(x_stamp_c_get(((const x_stamp*)(&( lcg))),btypeof( "state" ) )))));
    ASSERT( state == 12345 );
    
    const x_inst* inst = x_stamp_path_s_c_get_in(x_stamp_path_s_parse_sc(((x_stamp_path_s*)BLM_LEVEL_T_PUSH(0,x_stamp_path_s,x_stamp_path_s_create())),"state" ),((const x_inst*)(&(lcg ))));
    ASSERT( inst );
    ASSERT( (*(((const u3_t*)(inst)))) == 12345 );
    
    x_inst* zoo = ((x_inst*)BLM_LEVEL_A_PUSH(0,((x_inst*)(bcore_spect_via_create_zoo( 2 ).o))));
    
    sr_s sr = sr_null();
    
    sr = x_stamp_path_s_get_sr_in(x_stamp_path_s_parse_sc(((x_stamp_path_s*)BLM_LEVEL_T_PUSH(0,x_stamp_path_s,x_stamp_path_s_create())),"[0].[1].vdata.data2.[1]" ),zoo );
    ASSERT( sr_s_type(&(sr)) == TYPEOF_u3_t );
    ASSERT( sr_s_to_u3(&(sr)) == 0 );
    
    sr = x_stamp_path_s_set_sr_ret_in(x_stamp_path_s_parse_sc(((x_stamp_path_s*)BLM_LEVEL_T_PUSH(0,x_stamp_path_s,x_stamp_path_s_create())),"[0].[1].vdata.data2.[1]" ),zoo, sr_u3(20 ) );
    ASSERT( sr_s_type(&(sr)) == TYPEOF_u3_t );
    ASSERT( sr_s_to_u3(&(sr)) == 20 );
    BLM_DOWN();
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xf8, %rsp
leaq 0x14a7d5(%rip), %r13    # 0x1a8dd0
movq (%r13), %rsi
leaq 0xc8(%rsp), %rdi
movq %rdi, 0x68(%rsp)
callq 0xe0431
movq 0x68(%rsp), %rbx
movq $0x0, 0x10(%rbx)
leaq 0x70(%rsp), %r14
movq %r14, %rdi
callq 0x5ec0a
movabsq $-0x1804b258fae5f3f6, %rsi # imm = 0xE7FB4DA7051A0C0A
movq %rbx, %rdi
movq %r14, %rdx
callq 0xe06ab
movq (%r14), %r14
leaq 0x14baae(%rip), %rax    # 0x1aa0f8
movl (%rax), %ecx
movslq %ecx, %rcx
leaq (%rcx,%rcx,2), %rcx
movq 0x20(%rax,%rcx,8), %rdx
movq 0x18(%rax,%rcx,8), %rcx
andq %r14, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x5e6a4
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x5e6a4
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x5e6a4
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x5ec02
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x5e6d4
movabsq $0x541d0401d4dcff33, %rdi # imm = 0x541D0401D4DCFF33
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r15
leaq 0x14ba2f(%rip), %rdi    # 0x1aa0f8
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
movabsq $-0x119c5552ba4e4eea, %r14 # imm = 0xEE63AAAD45B1B116
leaq 0x70(%rsp), %rsi
movq %r15, %rdi
movq %r14, %rdx
callq 0x10d7a8
testb %al, %al
jne 0x5e71b
leaq 0xd9f4e(%rip), %rdi     # 0x138647
leaq 0xe3f07(%rip), %rsi     # 0x142607
leaq 0xe3f3f(%rip), %rdx     # 0x142646
leaq 0xe3da8(%rip), %rcx     # 0x1424b6
movl $0x39a, %r8d            # imm = 0x39A
xorl %eax, %eax
callq 0xc8053
leaq 0x70(%rsp), %rsi
movq (%rsi), %rdx
leaq 0x20(%rsp), %r15
movq %r15, %rdi
movq %r14, %rcx
callq 0x5df81
movq 0x10(%r15), %rax
testb $0x2, %al
jne 0x5e744
orq $0x1, %rax
movq %rax, 0x30(%rsp)
testb $0x2, 0x30(%rsp)
je 0x5e774
movq 0x30(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x20(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
xorps %xmm0, %xmm0
movaps %xmm0, 0x20(%rsp)
movq $0x0, 0x30(%rsp)
movq 0x20(%rsp), %rax
cmpq $0x4035, (%rax)         # imm = 0x4035
je 0x5e7ab
leaq 0xd9ebe(%rip), %rdi     # 0x138647
leaq 0xe3ec7(%rip), %rsi     # 0x142657
leaq 0xe3eaf(%rip), %rdx     # 0x142646
leaq 0xe3d18(%rip), %rcx     # 0x1424b6
movl $0x39d, %r8d            # imm = 0x39D
xorl %eax, %eax
callq 0xc8053
leaq 0xb0(%rsp), %r15
movl $0x3039, %esi           # imm = 0x3039
movq %r15, %rdi
callq 0x112925
leaq 0x70(%rsp), %r12
movq (%r12), %rdx
movq 0x10(%r15), %rax
movq %rax, 0x10(%rsp)
movups (%r15), %xmm0
movups %xmm0, (%rsp)
leaq 0x20(%rsp), %rdi
movq %r12, %rsi
movq %r14, %rcx
callq 0x5e230
movq (%r12), %rdx
leaq 0x20(%rsp), %r15
movq %r15, %rdi
movq %r12, %rsi
movq %r14, %rcx
callq 0x5df81
movq 0x10(%r15), %rax
testb $0x2, %al
jne 0x5e812
orq $0x1, %rax
movq %rax, 0x30(%rsp)
testb $0x2, 0x30(%rsp)
je 0x5e842
movq 0x30(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x20(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
xorps %xmm0, %xmm0
movaps %xmm0, 0x20(%rsp)
movq $0x0, 0x30(%rsp)
movq 0x20(%rsp), %rax
cmpq $0x3039, (%rax)         # imm = 0x3039
je 0x5e879
leaq 0xd9df0(%rip), %rdi     # 0x138647
leaq 0xe3e08(%rip), %rsi     # 0x142666
leaq 0xe3de1(%rip), %rdx     # 0x142646
leaq 0xe3c4a(%rip), %rcx     # 0x1424b6
movl $0x3a1, %r8d            # imm = 0x3A1
xorl %eax, %eax
callq 0xc8053
movabsq $-0x74dceedd59a2bd6f, %r14 # imm = 0x8B231122A65D4291
callq 0x5c50a
movq %rbx, %rdi
xorl %esi, %esi
movq %r14, %rdx
movq %rax, %rcx
callq 0xe0676
movq %rax, %r15
movq (%r13), %rsi
leaq 0x20(%rsp), %r12
movq %r12, %rdi
callq 0xe0431
movq $0x0, 0x10(%r12)
leaq 0xdc461(%rip), %rdi     # 0x13ad1d
callq 0xee802
movq %r12, %rdi
xorl %esi, %esi
movq %rax, %rdx
callq 0xe0900
movq %r15, %rdi
movq %rax, %rsi
callq 0x5c826
movq %r12, %rdi
callq 0xe0b30
leaq 0x70(%rsp), %rcx
movq (%rcx), %rdx
leaq 0x20(%rsp), %r12
movq %r12, %rdi
movq %r15, %rsi
callq 0x5cf36
testb $0x2, 0x10(%r12)
je 0x5e92a
movq 0x30(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x20(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x112485
xorps %xmm0, %xmm0
movaps %xmm0, 0x20(%rsp)
movq $0x0, 0x30(%rsp)
movq 0x20(%rsp), %r15
testq %r15, %r15
jne 0x5e95d
leaq 0xd9d0c(%rip), %rdi     # 0x138647
leaq 0xf07b6(%rip), %rsi     # 0x14f0f8
leaq 0xe3cfd(%rip), %rdx     # 0x142646
leaq 0xe3b66(%rip), %rcx     # 0x1424b6
movl $0x3a4, %r8d            # imm = 0x3A4
xorl %eax, %eax
callq 0xc8053
cmpq $0x3039, (%r15)         # imm = 0x3039
je 0x5e98f
leaq 0xd9cda(%rip), %rdi     # 0x138647
leaq 0xe3d01(%rip), %rsi     # 0x142675
leaq 0xe3ccb(%rip), %rdx     # 0x142646
leaq 0xe3b34(%rip), %rcx     # 0x1424b6
movl $0x3a5, %r8d            # imm = 0x3A5
xorl %eax, %eax
callq 0xc8053
leaq 0x98(%rsp), %r15
movl $0x2, %esi
movq %r15, %rdi
callq 0x10e315
movq (%r15), %rdx
xorl %ebp, %ebp
movq %rbx, %rdi
xorl %esi, %esi
callq 0xe0900
movq %rax, %r15
movq %rbp, 0x60(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x50(%rsp)
callq 0x5c50a
movq %rbx, %rdi
xorl %esi, %esi
movq %r14, %rdx
movq %rax, %rcx
callq 0xe0676
movq %rax, %r12
movq %r13, %r14
movq (%r13), %rsi
leaq 0x20(%rsp), %r13
movq %r13, %rdi
callq 0xe0431
movq %rbp, 0x10(%r13)
leaq 0xe3c9f(%rip), %rdi     # 0x142699
callq 0xee802
movq %r13, %rdi
xorl %esi, %esi
movq %rax, %rdx
callq 0xe0900
movq %r12, %rdi
movq %rax, %rsi
callq 0x5c826
movq %r13, %rdi
callq 0xe0b30
movq (%r15), %rdx
leaq 0x20(%rsp), %r13
movq %r13, %rdi
movq %r12, %rsi
movabsq $-0x5aa4411ac4e2880e, %r12 # imm = 0xA55BBEE53B1D77F2
movq %r15, %rcx
callq 0x5cf36
movq 0x10(%r13), %rax
movq %rax, 0x60(%rsp)
movups (%r13), %xmm0
movaps %xmm0, 0x50(%rsp)
movq 0x58(%rsp), %rax
testq %rax, %rax
je 0x5ea62
cmpq %r12, 0x8(%rax)
je 0x5ea8b
leaq 0xd9bde(%rip), %rdi     # 0x138647
leaq 0xe3c41(%rip), %rsi     # 0x1426b1
leaq 0xe3bcf(%rip), %rdx     # 0x142646
leaq 0xe3a38(%rip), %rcx     # 0x1424b6
movl $0x3ac, %r8d            # imm = 0x3AC
xorl %eax, %eax
callq 0xc8053
leaq 0x50(%rsp), %rdi
callq 0x1135dd
testq %rax, %rax
je 0x5eac3
leaq 0xd9ba6(%rip), %rdi     # 0x138647
leaq 0xe3c29(%rip), %rsi     # 0x1426d1
leaq 0xe3b97(%rip), %rdx     # 0x142646
leaq 0xe3a00(%rip), %rcx     # 0x1424b6
movl $0x3ad, %r8d            # imm = 0x3AD
xorl %eax, %eax
callq 0xc8053
callq 0x5c50a
movq %rbx, %rdi
xorl %esi, %esi
movabsq $-0x74dceedd59a2bd6f, %rdx # imm = 0x8B231122A65D4291
movq %rax, %rcx
callq 0xe0676
movq %rax, %rbx
movq (%r14), %rsi
leaq 0x20(%rsp), %r14
movq %r14, %rdi
callq 0xe0431
movq $0x0, 0x10(%r14)
leaq 0xe3b98(%rip), %rdi     # 0x142699
callq 0xee802
movq %r14, %rdi
xorl %esi, %esi
movq %rax, %rdx
callq 0xe0900
movq %rbx, %rdi
movq %rax, %rsi
callq 0x5c826
movq %r14, %rdi
callq 0xe0b30
leaq 0x80(%rsp), %r14
movl $0x14, %esi
movq %r14, %rdi
callq 0x112925
movq (%r15), %rdx
movq 0x10(%r14), %rax
movq %rax, 0x10(%rsp)
movups (%r14), %xmm0
movups %xmm0, (%rsp)
leaq 0x20(%rsp), %r14
movq %r14, %rdi
movq %rbx, %rsi
movq %r15, %rcx
callq 0x5d419
movq 0x10(%r14), %rax
movq %rax, 0x60(%rsp)
movups (%r14), %xmm0
movaps %xmm0, 0x50(%rsp)
movq 0x58(%rsp), %rax
testq %rax, %rax
je 0x5eb84
cmpq %r12, 0x8(%rax)
je 0x5ebad
leaq 0xd9abc(%rip), %rdi     # 0x138647
leaq 0xe3b1f(%rip), %rsi     # 0x1426b1
leaq 0xe3aad(%rip), %rdx     # 0x142646
leaq 0xe3916(%rip), %rcx     # 0x1424b6
movl $0x3b0, %r8d            # imm = 0x3B0
xorl %eax, %eax
callq 0xc8053
leaq 0x50(%rsp), %rdi
callq 0x1135dd
cmpq $0x14, %rax
je 0x5ebe6
leaq 0xd9a83(%rip), %rdi     # 0x138647
leaq 0xe3b1d(%rip), %rsi     # 0x1426e8
leaq 0xe3a74(%rip), %rdx     # 0x142646
leaq 0xe38dd(%rip), %rcx     # 0x1424b6
movl $0x3b1, %r8d            # imm = 0x3B1
xorl %eax, %eax
callq 0xc8053
leaq 0x68(%rsp), %rdi
callq 0xe0b11
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
xorl %r15d, %r15d
jmp 0x5e6a8