syscall32 can be static