futex.c: I need to merge korg correctly