/* This does NOT work... process declarations must have parameters that are
 * <type> <variable>.
 */
@process
hello(int a[10],void (*b)())
{
	printf("Hello world\n");
}

eMain()
{
	int a[10];
	@subordinate hello(a,0);
}