better types for syscalls api