r0 = openat$sndtimer(0xffffffffffffff9c, &(0x7f0000001580), 0x0)
fcntl$addseals(r0, 0x409, 0x39894fa07f3a8496)