C backend: Fix raise