r0 = openat(0xffffffffffffff9c, &(0x7f0000000180)='./file1\x00', 0x42, 0x1f9)
close(r0)
openat(0xffffffffffffff9c, &(0x7f0000000200)='./file1\x00', 0x0, 0x0)
r1 = socket$nl_generic(0x10, 0x3, 0x10)
r2 = dup(r1)
vmsplice(r1, &(0x7f0000000100)=[{&(0x7f0000000000)="80e41419018b881d174a98c1c60e92b02ea454ffba6e8a1b8e3cb5f1e0c9f173393baf7bbc183082770a9d339e149f3e838b16108943c3f6bf95fd9bda4dfca89f81588dae5fb42b9abb3b631e11125b695a7e8557081cd4262514134789bff20ccb211a6b25a23ce618841336b8ff556ee3dbbb3896288858632b766e8ff83970efe7d2b2e4485e288b128518d898e699bf53c59ed2e0dd37925d561e294ec6f5d8fd2866b50762f3e7d0584f486404bda780014f434bc6e282b6655512196c44488f1e5f090f0196148bf29b7036e6398c9b4f7cb4090bc4e0a2f529f324b52f2f84200e0ded70f0ca09440a", 0xed}, {&(0x7f00000002c0)="2269f17df718a060e493b0f0f94161888d737306b3f42f2ab1eac9f001cb167a8d7865d708e1271a76a4e50c310d015007ab464eccff866449512d41c0e2a40acee628f3551cb885f00f07aa98bff9a1e92a1327eaed29b66ffa6165e4fd88247ae16f99dff790945b9e2578d7c4eca0ea85d9c850e945cbefa849fd5f5807ce167c5fa3d3dd3dae780d0aa64fdb7056ac818abf13d0c69c71117d980fce201988c053b401e62775c9", 0xa9}, {&(0x7f0000000380)="9c27a6b09672f3f08ee17881622c652439c0ff34f8e702205f4edd9fb5b3af2b4498ce1aa8997a0a5d6ec07c0f0afc6f2abeefe5d316cc93ef9c0df70ae14d3d9b5ccf99918679c032cd52197752757812d30ee818ef5ec4550ad9825966d5d1dbb4d0618975d98bd5cdcb145d9a2f1830eac2304463e5eced38e450a562b2385cb15f1ef7500d6becfc485b0abdf5ebe6f63fbb28debc08805a33ee52b765c5e796b45bd13ebdc34312dc213140866e5cac7fb55bb2b247eecc8fd9c78dae7899e9ea08098ffb70246714a8dff460ec8669741a443f859437db05d407a49929c650cb400ac5", 0xe6}], 0x3, 0x0)
perf_event_open(&(0x7f0000001d80)={0x1, 0x80, 0x0, 0x0, 0x0, 0x0, 0x0, 0x4307, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, @perf_bp={0x0}, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x2}, 0x0, 0xffffffffffffffff, 0xffffffffffffffff, 0x0)
close(r0)
execveat(0xffffffffffffff9c, &(0x7f0000000280)='./file1\x00', 0x0, 0x0, 0x0)
copy_file_range(r2, &(0x7f0000000140)=0x1, r0, 0x0, 0x1a3, 0x0)