Some more C backend work