JNAerator: fixed parsing of __restrict__ args