; void f_0x0db0()
; {
;    return 20383884;
; }
00000db0 <F72_0xDB0>:
     db0:	e1a0c00d 	mov	ip, sp
     db4:	e92dd800 	stmdb	sp!, {fp, ip, lr, pc}
     db8:	e24cb004 	sub	fp, ip, #4	; 0x4
     dbc:	e59f0004 	ldr	r0, [pc, #4]	; dc8 <F72_0xDB0+0x18>
     dc0:	e91b6800 	ldmdb	fp, {fp, sp, lr}
     dc4:	e12fff1e 	bx	lr
     dc8:	20383884