To make syscall.c for 64 bit truly warning-free, we need some more #ifs.