The kernel that you get through the ffc_interface should not have, in the signature, the iteration space variables, while here you are passing in k. I expected the ffc kernel to have the usual loop nest inside, so with no iteration variables passed in as parameters. But, again, I'm probably missing something bigger