syscall: casting args to uintptr in C