test19.c 154 Bytes
Newer Older
1
__crust_t__ int * function(__crust_recycle__ int *param, __crust_recycle__ int *param2);  // ERROR: there must be at most one __crust_recycle__ parameter