Add serialization for syscall args (XCC)