proc1(input1, FUNC input2, input3 END)
FUNC input1, proc1(input2, input3) END