// File: /workspace/github_c_makefile_star2_O0/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
movq %rsp, %rbp
subq $0x160, %rsp            # imm = 0x160
leaq 0x16c09e(%rip), %rax    # 0x1b2330
movq (%rax), %rax
movq %rax, -0x8(%rbp)
leaq -0x38(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rdi
movq -0x8(%rbp), %rsi
callq 0xbfe80
movq -0x40(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq $0x0, 0x10(%rax)
leaq -0x50(%rbp), %rdi
callq 0x46780
movq -0x8(%rbp), %rdi
movabsq $-0x1804b258fae5f3f6, %rsi # imm = 0xE7FB4DA7051A0C0A
leaq -0x50(%rbp), %rdx
callq 0xc0220
leaq 0xefd3f(%rip), %rdi     # 0x136028
callq 0x45020
movq %rax, %rsi
leaq -0x50(%rbp), %rdi
callq 0x467b0
testb $0x1, %al
jne 0x46327
leaq 0xed69a(%rip), %rdi     # 0x13399f
leaq 0xf8e53(%rip), %rsi     # 0x13f15f
leaq 0xf8e8b(%rip), %rdx     # 0x13f19e
leaq 0xf8cf4(%rip), %rcx     # 0x13f00e
movl $0x38e, %r8d            # imm = 0x38E
movb $0x0, %al
callq 0x9cea0
leaq 0xefcfa(%rip), %rdi     # 0x136028
callq 0x45020
movq %rax, %rsi
leaq -0x50(%rbp), %rdi
callq 0x467e0
movq (%rax), %rax
movq %rax, -0x58(%rbp)
cmpq $0x4035, -0x58(%rbp)    # imm = 0x4035
je 0x46379
leaq 0xed648(%rip), %rdi     # 0x13399f
leaq 0xf8e51(%rip), %rsi     # 0x13f1af
leaq 0xf8e39(%rip), %rdx     # 0x13f19e
leaq 0xf8ca2(%rip), %rcx     # 0x13f00e
movl $0x391, %r8d            # imm = 0x391
movb $0x0, %al
callq 0x9cea0
leaq 0xefca8(%rip), %rdi     # 0x136028
callq 0x45020
movq %rax, -0x118(%rbp)
leaq -0x70(%rbp), %rdi
movl $0x3039, %esi           # imm = 0x3039
callq 0xfbc10
movq -0x118(%rbp), %rdx
leaq -0x88(%rbp), %rdi
leaq -0x50(%rbp), %rsi
leaq -0x70(%rbp), %rax
movq (%rax), %rcx
movq %rcx, (%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
callq 0x46830
leaq 0xefc53(%rip), %rdi     # 0x136028
callq 0x45020
movq %rax, %rsi
leaq -0x50(%rbp), %rdi
callq 0x467e0
movq (%rax), %rax
movq %rax, -0x58(%rbp)
cmpq $0x3039, -0x58(%rbp)    # imm = 0x3039
je 0x46420
leaq 0xed5a1(%rip), %rdi     # 0x13399f
leaq 0xf8db9(%rip), %rsi     # 0x13f1be
leaq 0xf8d92(%rip), %rdx     # 0x13f19e
leaq 0xf8bfb(%rip), %rcx     # 0x13f00e
movl $0x395, %r8d            # imm = 0x395
movb $0x0, %al
callq 0x9cea0
movq -0x8(%rbp), %rax
movq %rax, -0x120(%rbp)
callq 0x44b10
movq -0x120(%rbp), %rdi
movq %rax, %rcx
xorl %eax, %eax
movl %eax, %esi
movabsq $-0x74dceedd59a2bd6f, %rdx # imm = 0x8B231122A65D4291
callq 0xc01a0
movq %rax, %rdi
leaq 0xefbd1(%rip), %rsi     # 0x136028
callq 0x468e0
movq %rax, %rdi
leaq -0x50(%rbp), %rsi
callq 0x46890
movq %rax, -0x90(%rbp)
cmpq $0x0, -0x90(%rbp)
jne 0x464a2
leaq 0xed51f(%rip), %rdi     # 0x13399f
leaq 0x107977(%rip), %rsi    # 0x14ddfe
leaq 0xf8d10(%rip), %rdx     # 0x13f19e
leaq 0xf8b79(%rip), %rcx     # 0x13f00e
movl $0x398, %r8d            # imm = 0x398
movb $0x0, %al
callq 0x9cea0
movq -0x90(%rbp), %rax
cmpq $0x3039, (%rax)         # imm = 0x3039
je 0x464db
leaq 0xed4e6(%rip), %rdi     # 0x13399f
leaq 0xf8d0d(%rip), %rsi     # 0x13f1cd
leaq 0xf8cd7(%rip), %rdx     # 0x13f19e
leaq 0xf8b40(%rip), %rcx     # 0x13f00e
movl $0x399, %r8d            # imm = 0x399
movb $0x0, %al
callq 0x9cea0
movq -0x8(%rbp), %rax
movq %rax, -0x130(%rbp)
leaq -0xb0(%rbp), %rdi
movl $0x2, %esi
callq 0xf8120
movq -0x130(%rbp), %rdi
movq -0xb0(%rbp), %rdx
xorl %eax, %eax
movl %eax, %esi
callq 0xc0500
movq %rax, -0x98(%rbp)
leaq -0xc8(%rbp), %rdi
callq 0x8a380
movq -0x8(%rbp), %rax
movq %rax, -0x128(%rbp)
callq 0x44b10
movq -0x128(%rbp), %rdi
movq %rax, %rcx
xorl %eax, %eax
movl %eax, %esi
movabsq $-0x74dceedd59a2bd6f, %rdx # imm = 0x8B231122A65D4291
callq 0xc01a0
movq %rax, %rdi
leaq 0xf8c99(%rip), %rsi     # 0x13f1f1
callq 0x468e0
movq %rax, %rsi
movq -0x98(%rbp), %rdx
leaq -0xe0(%rbp), %rdi
callq 0x46980
movq -0xe0(%rbp), %rax
movq %rax, -0xc8(%rbp)
movq -0xd8(%rbp), %rax
movq %rax, -0xc0(%rbp)
movq -0xd0(%rbp), %rax
movq %rax, -0xb8(%rbp)
leaq -0xc8(%rbp), %rdi
callq 0x45450
movabsq $-0x5aa4411ac4e2880e, %rcx # imm = 0xA55BBEE53B1D77F2
cmpq %rcx, %rax
je 0x465e1
leaq 0xed3e0(%rip), %rdi     # 0x13399f
leaq 0xf8c43(%rip), %rsi     # 0x13f209
leaq 0xf8bd1(%rip), %rdx     # 0x13f19e
leaq 0xf8a3a(%rip), %rcx     # 0x13f00e
movl $0x3a0, %r8d            # imm = 0x3A0
movb $0x0, %al
callq 0x9cea0
leaq -0xc8(%rbp), %rdi
callq 0xfcab0
cmpq $0x0, %rax
je 0x4661c
leaq 0xed3a5(%rip), %rdi     # 0x13399f
leaq 0xf8c28(%rip), %rsi     # 0x13f229
leaq 0xf8b96(%rip), %rdx     # 0x13f19e
leaq 0xf89ff(%rip), %rcx     # 0x13f00e
movl $0x3a1, %r8d            # imm = 0x3A1
movb $0x0, %al
callq 0x9cea0
movq -0x8(%rbp), %rax
movq %rax, -0x148(%rbp)
callq 0x44b10
movq -0x148(%rbp), %rdi
movq %rax, %rcx
xorl %eax, %eax
movl %eax, %esi
movabsq $-0x74dceedd59a2bd6f, %rdx # imm = 0x8B231122A65D4291
callq 0xc01a0
movq %rax, %rdi
leaq 0xf8b9e(%rip), %rsi     # 0x13f1f1
callq 0x468e0
movq %rax, -0x140(%rbp)
movq -0x98(%rbp), %rax
movq %rax, -0x138(%rbp)
leaq -0x110(%rbp), %rdi
movl $0x14, %esi
callq 0xfbc10
movq -0x140(%rbp), %rsi
movq -0x138(%rbp), %rdx
leaq -0xf8(%rbp), %rdi
leaq -0x110(%rbp), %rax
movq (%rax), %rcx
movq %rcx, (%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
callq 0x469c0
movq -0xf8(%rbp), %rax
movq %rax, -0xc8(%rbp)
movq -0xf0(%rbp), %rax
movq %rax, -0xc0(%rbp)
movq -0xe8(%rbp), %rax
movq %rax, -0xb8(%rbp)
leaq -0xc8(%rbp), %rdi
callq 0x45450
movabsq $-0x5aa4411ac4e2880e, %rcx # imm = 0xA55BBEE53B1D77F2
cmpq %rcx, %rax
je 0x46726
leaq 0xed29b(%rip), %rdi     # 0x13399f
leaq 0xf8afe(%rip), %rsi     # 0x13f209
leaq 0xf8a8c(%rip), %rdx     # 0x13f19e
leaq 0xf88f5(%rip), %rcx     # 0x13f00e
movl $0x3a4, %r8d            # imm = 0x3A4
movb $0x0, %al
callq 0x9cea0
leaq -0xc8(%rbp), %rdi
callq 0xfcab0
cmpq $0x14, %rax
je 0x46761
leaq 0xed260(%rip), %rdi     # 0x13399f
leaq 0xf8afa(%rip), %rsi     # 0x13f240
leaq 0xf8a51(%rip), %rdx     # 0x13f19e
leaq 0xf88ba(%rip), %rcx     # 0x13f00e
movl $0x3a5, %r8d            # imm = 0x3A5
movb $0x0, %al
callq 0x9cea0
leaq -0x40(%rbp), %rdi
callq 0xc06e0
addq $0x160, %rsp            # imm = 0x160
popq %rbp
retq
nopw %cs:(%rax,%rax)