Index: src/tests/.expect/KRfunctions.txt
===================================================================
--- src/tests/.expect/KRfunctions.txt	(revision 3a5131ed67382189022455b971ca8ed0a8f3e6a9)
+++ src/tests/.expect/KRfunctions.txt	(revision 3a5131ed67382189022455b971ca8ed0a8f3e6a9)
@@ -0,0 +1,93 @@
+__attribute__ ((__nothrow__,__leaf__,__malloc__)) extern void *malloc(long unsigned int __size);
+__attribute__ ((__nothrow__,__leaf__)) extern void free(void *__ptr);
+__attribute__ ((__nothrow__,__leaf__,__noreturn__)) extern void abort(void);
+__attribute__ ((__nothrow__,__leaf__,__nonnull__(1))) extern int atexit(void (*__func)(void));
+__attribute__ ((__nothrow__,__leaf__,__noreturn__)) extern void exit(int __status);
+extern int printf(const char *__restrict __format, ...);
+int __f0__Fi_iPCii__1(int __a__i_1, const int *__b__PCi_1, int __c__i_1){
+    int ___retval_f0__i_1;
+}
+int __f1__Fi_PiiPi__1(int *__a__Pi_1, __attribute__ ((unused)) int __b__i_1, int *__c__Pi_1){
+    int ___retval_f1__i_1;
+}
+int __f2__Fi_iPiPi__1(int __a__i_1, int *__b__Pi_1, int *__c__Pi_1){
+    int ___retval_f2__i_1;
+}
+struct S {
+    int __i__i_1;
+};
+static inline void ___constructor__F_P2sS_autogen___1(struct S *___dst__P2sS_1);
+static inline void ___constructor__F_P2sS2sS_autogen___1(struct S *___dst__P2sS_1, struct S ___src__2sS_1);
+static inline void ___destructor__F_P2sS_autogen___1(struct S *___dst__P2sS_1);
+static inline struct S ___operator_assign__F2sS_P2sS2sS_autogen___1(struct S *___dst__P2sS_1, struct S ___src__2sS_1);
+static inline void ___constructor__F_P2sS_autogen___1(struct S *___dst__P2sS_1){
+    ((void)((*((int *)(&(*___dst__P2sS_1).__i__i_1)))) /* ?{} */);
+}
+static inline void ___constructor__F_P2sS2sS_autogen___1(struct S *___dst__P2sS_1, struct S ___src__2sS_1){
+    ((void)((*((int *)(&(*___dst__P2sS_1).__i__i_1)))=___src__2sS_1.__i__i_1) /* ?{} */);
+}
+static inline void ___destructor__F_P2sS_autogen___1(struct S *___dst__P2sS_1){
+    ((void)((*((int *)(&(*___dst__P2sS_1).__i__i_1)))) /* ^?{} */);
+}
+static inline struct S ___operator_assign__F2sS_P2sS2sS_autogen___1(struct S *___dst__P2sS_1, struct S ___src__2sS_1){
+    ((void)((*___dst__P2sS_1).__i__i_1=___src__2sS_1.__i__i_1));
+    return ((struct S )___src__2sS_1);
+}
+static inline void ___constructor__F_P2sSi_autogen___1(struct S *___dst__P2sS_1, int __i__i_1){
+    ((void)((*((int *)(&(*___dst__P2sS_1).__i__i_1)))=__i__i_1) /* ?{} */);
+}
+int __f3__Fi_2sS2sSPi__1(struct S __a__2sS_1, struct S __b__2sS_1, int *__c__Pi_1){
+    int ___retval_f3__i_1;
+    struct S __s__2sS_2;
+}
+int __f4__Fi_iPiPi__1(int __a__i_1, int *__b__Pi_1, int *__c__Pi_1){
+    int ___retval_f4__i_1;
+}
+int __f5__Fi_iPiPi__1(int __a__i_1, int *__b__Pi_1, int *__c__Pi_1){
+    int ___retval_f5__i_1;
+}
+int (*__f6__FPFi_i__iPiPi__1(int __a__i_1, int *__b__Pi_1, int *__c__Pi_1))(int ){
+    int (*___retval_f6__PFi_i__1)(int );
+}
+int (*__f7__FPFi_ii__iPiPi__1(int __a__i_1, int *__b__Pi_1, int *__c__Pi_1))(int __a__i_1, int __b__i_1){
+    int (*___retval_f7__PFi_ii__1)(int __a__i_1, int __b__i_1);
+}
+int *__f8__FPi_iPiPi__1(int __a__i_1, int *__b__Pi_1, int *__c__Pi_1){
+    int *___retval_f8__Pi_1;
+}
+int *const __f9__FCPi_PiiPi__1(int *__a__Pi_1, int __b__i_1, int *__c__Pi_1){
+    int *const ___retval_f9__CPi_1;
+}
+int *(*__f10__FPFPi_ii__iPiPid__1(int __a__i_1, int *__b__Pi_1, int *__c__Pi_1, double __y__d_1))(int __x__i_1, int __y__i_1){
+    int *(*___retval_f10__PFPi_ii__1)(int __x__i_1, int __y__i_1);
+    int *__x__FPi_ii__2(int , int );
+    ((void)(___retval_f10__PFPi_ii__1=__x__FPi_ii__2) /* ?{} */);
+    return ((int *(*)(int __x__i_1, int __y__i_1))___retval_f10__PFPi_ii__1);
+}
+int (*__f11__FPA0i_iPiPi__1(int __a__i_1, int *__b__Pi_1, int *__c__Pi_1))[]{
+    int (*___retval_f11__PA0i_1)[];
+}
+int (*__f12__FPA0A0i_iPiPi__1(int __a__i_1, int *__b__Pi_1, int *__c__Pi_1))[][((long unsigned int )10)]{
+    int (*___retval_f12__PA0A0i_1)[][((long unsigned int )10)];
+}
+int (*__f13__FPA0A0i_iPiPi__1(int __a__i_1, int *__b__Pi_1, int *__c__Pi_1))[][((long unsigned int )10)]{
+    int (*___retval_f13__PA0A0i_1)[][((long unsigned int )10)];
+}
+int (*__f14__FPA0A0i_iPiPi__1(int __a__i_1, int *__b__Pi_1, int *__c__Pi_1))[][((long unsigned int )10)]{
+    int (*___retval_f14__PA0A0i_1)[][((long unsigned int )10)];
+}
+const int __fred__FCi___1(){
+    const int ___retval_fred__Ci_1;
+    int *(*__x__PFPi_ii__2)(int , int );
+    int __a__i_2;
+    int __b__i_2;
+    int *(*_tmp_cp_ret0)(int __x__i_1, int __y__i_1);
+    ((void)(__x__PFPi_ii__2=((_tmp_cp_ret0=__f10__FPFPi_ii__iPiPid__1(3, (&__a__i_2), (&__b__i_2), 3.5)) , _tmp_cp_ret0)));
+    ((void)((*((int *(**)(int __x__i_1, int __y__i_1))(&_tmp_cp_ret0)))) /* ^?{} */);
+    const int __f1__FCi_iPiPi__2(int __a__i_2, int *__b__Pi_2, int *__c__Pi_2){
+        const int ___retval_f1__Ci_2;
+    }
+    const int __f2__FCi_iii__2(int __a__i_2, int __b__i_2, int __c__i_2){
+        const int ___retval_f2__Ci_2;
+    }
+}
Index: src/tests/KRfunctions.c
===================================================================
--- src/tests/KRfunctions.c	(revision 3a5131ed67382189022455b971ca8ed0a8f3e6a9)
+++ src/tests/KRfunctions.c	(revision 3a5131ed67382189022455b971ca8ed0a8f3e6a9)
@@ -0,0 +1,52 @@
+//                               -*- Mode: C -*- 
+// 
+// Cforall Version 1.0.0 Copyright (C) 2017 University of Waterloo
+//
+// The contents of this file are covered under the licence agreement in the
+// file "LICENCE" distributed with Cforall.
+// 
+// KRfunctions.c -- 
+// 
+// Author           : Peter A. Buhr
+// Created On       : Thu Feb 16 15:23:17 2017
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Thu Feb 16 15:25:52 2017
+// Update Count     : 2
+// 
+
+f0( a, b, c ) const int * b; {}
+f1( a, b, c ) int b __attribute__ (( unused )), * a, c[]; {}
+(f2)( a, b, c ) int a, * b, c[]; {}
+
+struct S { int i; };
+int f3( a, b, c ) struct S a; struct S b; int c[]; { struct S s;}
+int (f4)( a, b, c ) int a, * b, c[]; {}
+int (f5( a, b, c )) int a, * b, c[]; {}
+
+int (* f6( a, b, c ))(int) int a, * b, c[]; {}
+int (* f7( a, b, c ))(int a, int b) int a, * b, c[]; {}
+int * f8( a, b, c ) int a, * b, c[]; {}
+int * const f9( a, b, c ) int b, * a, c[]; {}
+
+int (* (* f10( a, b, c, y ))( int x, int y ) ) int a, * b, c[]; double y; {
+    int *x( int, int );
+    return x;
+}
+
+int (* f11( a, b, c ))[] int a, * b, c[]; {}
+int (* f12( a, b, c ))[][10] int a, * b, c[]; {}
+int ((* f13( a, b, c ))[])[10] int a, * b, c[]; {}
+int (((* f14( a, b, c ))[])[10]) int a, * b, c[]; {}
+
+const fred() {
+    int *(*x)( int, int );
+    int a, b;
+    x = f10( 3, &a, &b, 3.5 );
+    const f1( a, b, c ) int a, * b, c[]; {}
+    const f2( int a, int b, int c ) {}
+}
+
+// Local Variables: //
+// tab-width: 4 //
+// compile-command: "cfa KRfunctions.c" //
+// End: //
Index: src/tests/Makefile.am
===================================================================
--- src/tests/Makefile.am	(revision 9bb90a86e8103e3d4b363220e7618cf60fb1ba50)
+++ src/tests/Makefile.am	(revision 3a5131ed67382189022455b971ca8ed0a8f3e6a9)
@@ -11,6 +11,6 @@
 ## Created On       : Sun May 31 09:08:15 2015
 ## Last Modified By : Peter A. Buhr
-## Last Modified On : Mon Feb  6 16:10:43 2017
-## Update Count     : 40
+## Last Modified On : Thu Feb 16 15:27:50 2017
+## Update Count     : 41
 ###############################################################################
 
@@ -68,4 +68,7 @@
 	${CC} ${CFLAGS} -CFA -XCFA -p ${<} -o ${@}
 
+KRfunctions : KRfunctions.c
+	${CC} ${CFLAGS} -CFA -XCFA -p ${<} -o ${@}
+
 memberCtors-ERR1: memberCtors.c
 	${CC} ${CFLAGS} -DERR1 ${<} -o ${@}
Index: src/tests/Makefile.in
===================================================================
--- src/tests/Makefile.in	(revision 9bb90a86e8103e3d4b363220e7618cf60fb1ba50)
+++ src/tests/Makefile.in	(revision 3a5131ed67382189022455b971ca8ed0a8f3e6a9)
@@ -689,4 +689,7 @@
 	${CC} ${CFLAGS} -CFA -XCFA -p ${<} -o ${@}
 
+KRfunctions : KRfunctions.c
+	${CC} ${CFLAGS} -CFA -XCFA -p ${<} -o ${@}
+
 memberCtors-ERR1: memberCtors.c
 	${CC} ${CFLAGS} -DERR1 ${<} -o ${@}