0x4bb23f <value_fn_field+95>:	mov    (%rax),%rax
0x4bb242 <value_fn_field+98>:	mov    %rax,0x8(%rbp)
0x4bb246 <value_fn_field+102>:	test   %r12,%r12
0x4bb249 <value_fn_field+105>:	je     0x4bb27c <value_fn_field+156>
0x4bb24b <value_fn_field+107>:	mov    (%r12),%rdi
0x4bb24f <value_fn_field+111>:	cmp    0x40(%rdi),%r14
0x4bb253 <value_fn_field+115>:	je     0x4bb27c <value_fn_field+156>
0x4bb255 <value_fn_field+117>:	callq  0x4c2eb0 <value_addr>
0x4bb25a <value_fn_field+122>:	mov    %r14,%rdi
0x4bb25d <value_fn_field+125>:	mov    %rax,%rbx
0x4bb260 <value_fn_field+128>:	callq  0x504100 <lookup_pointer_type>
0x4bb265 <value_fn_field+133>:	mov    %rbx,%rsi
0x4bb268 <value_fn_field+136>:	mov    %rax,%rdi
0x4bb26b <value_fn_field+139>:	callq  0x4c4f10 <value_cast>
0x4bb270 <value_fn_field+144>:	mov    %rax,%rdi
0x4bb273 <value_fn_field+147>:	callq  0x4c2ae0 <value_ind>