Add some tests for the C arch