semget(0x2, 0x1, 0x2ab)
r0 = semget(0x1, 0x34871829325cbfc, 0x109)
semctl$GETALL(r0, 0x0, 0xd, &(0x7f0000000000)=""/34)