syslet: syscall still needs void * cast