Add test for the generated skeleton in the C backend