timer_create(0x3, 0x0, &(0x7f0000000140))
timer_settime(0x0, 0x0, &(0x7f0000000780), 0x0)