Using `int *x` pointer syntax in C code block causes an additional `*` to be inserted