;
; void f_0x0f24(word val){
; {
;   word *addr;
;
;   addr = f_0x0edc();
;   if(addr!=0)
;	*addr = val;
;   return;
; }
;
;
00000f24 <F132_0xF24>:
     f24:	e1a0c00d 	mov	ip, sp
     f28:	e92dd810 	stmdb	sp!, {r4, fp, ip, lr, pc}
     f2c:	e24cb004 	sub	fp, ip, #4	; 0x4
     f30:	e1a04000 	mov	r4, r0
     f34:	ebffffe8 	bl	edc <F136_0xEDC>
     f38:	e1b01000 	movs	r1, r0
     f3c:	15814000 	strne	r4, [r1]
     f40:	e91b6810 	ldmdb	fp, {r4, fp, sp, lr}
     f44:	e12fff1e 	bx	lr