read_args
uint32_t *read_args,
if ((num_params && !params) || (num_read_args && !read_args))
memcpy(read_args, args.out_args,
num_read_args * sizeof(*read_args));
uint32_t *read_args,
uint32_t *read_args,
read_args, num_read_args,
read_args(argc, argv);