r0 = getpid() r1 = pidfd_open(r0, 0x0) fstat(r1, &(0x7f0000001580))