now produces C-code